The M4 should have sufficient resources to run a light weight OS. I wouldn't consider anything with lots of drivers. Android or light weight Linux should work. I'd consider Free RTOS for non-dynamically loaded applications.
NASA's Orion Flight Software Production Systems Manager Darrel G. Raines joins Planet Analog Editor Steve Taranovich and Embedded.com Editor Max Maxfield to talk about embedded flight software used in Orion Spacecraft, part of NASA's Mars mission. Live radio show and live chat. Get your questions ready.
Brought to you by