MCU

Depending on which MCU you use, you may find a variety of free real-time kernels. The AVR-family of Atmel has many GPLed real-time kernels to choose from.