HiRTOS
HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada
34 stars
8 watching
1 forks
Language: Ada
last commit: about 2 months ago
Linked from 1 awesome list
HiRTOS HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada
ohenley/awesome-ada