Real Time Operating System

• https://en.wikipedia.org/wiki/Comparison_of_real-time_operating_systems
  • http://mynewt.apache.org/
  • http://www.riot-os.org/
  • https://en.wikipedia.org/wiki/Xenomai
  • https://en.wikipedia.org/wiki/Zephyr_(operating_system)

• http://www.ghs.com/products/rtos/integrity.html
• http://www.lynx.com/products/hypervisors/
  • http://www.lynx.com/products/