< Ada

Share Share Share

Awesome Ada OS and Kernels

• bare_bones 80

  

  | updated over 7 years ago | Other

  Ada Bare Bones OS development tutorial source code

• CuBit 75

  

  | updated almost 3 years ago | GNU General Publi...

  General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64

• cxos 34

  

  | updated over 3 years ago

  Operating System development experiment in Ada

• ewok-kernel 72

  

  | updated almost 3 years ago | Apache License 2.0

  A secure and high performances microkernel for building secure MCU-based IoTs

• Gloire 81

  

  | updated about 1 month ago | GNU General Publi...

  An OS built with the Ironclad kernel and GNU tools

• HAVK 23

  

  | updated almost 3 years ago | GNU General Publi...

  An attempt at a minimalistic and secure operating system.

• HiRTOS 22

  

  | updated 14 days ago | Apache License 2.0

  HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada