I worked on the handheld JTRS radios some years ago, it was running Green Hills Integrity RTOS at the time.