Also - the open source RTEMS kernel is running on a few radios at Mars and elsewhere, including the Curiosity rover.