uC/OS-III: The Real-Time Kernel and the Texas Instruments Stellaris MCUs