Does anyone know of any MIL-Qualified RTOS to run on uBlaze or Nios2? I normally work with uCLinux, but in this case the MIL contractor/customer needs something that has gone through a MIL qualification process to pry them away from single-board x86 computers.
Does anyone have any experience in this??
Thanks