HiRTOS

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

make-with-ada

Ada projects for Make-with-Ada

gnat-runtime-libs-for-kinetis-microcontrollers

McRTOS