No description, website, or topics provided.
Clone or download
Nikolay Pakulin
Latest commit d0547d4 Dec 9, 2016

JetOS is a real-time operating system for avionics applications. It was started as a fork of POK that is an open source ARINC-653 compliant real-time operating system. All the changes made are provided as open source software under GPLv3 license.

Since then, code has been significantly rewritten and the new operating system have got a new name: JetOS.

The key new features include:

  • preemptible kernel;
  • APEX services complying to ARINC-653 part 1 specification;
  • IO partitions with UDP/IP networking stack and device drivers;
  • gdb server supporting debugging kernel and user partitions.

JetOS supports PowerPC(Book E) and x86.