As a proof of concepts, the FSF services have been implemented in two real-time kernels, MaRTE OS and Shark, both of which follow the POSIX minimum real-time profile. These implementations show that even with very different scheduling strategies it is possible to provide a portable FSF API.