Small realtime OS for fun.  Currently supporting LM4F120 on Stellaris Launchpad.