Uc/OS-III: The Real-Time Kernel and the Texas Instruments Stellaris McUs