Open Source7d ago
Detected, not submitted
Dragon Microkernel
Own Dragon Microkernel?
Verify your site to claim this listing and get emailed the moment a buyer's looking for something like it.
A microkernel implementation written in Spark Ada for building reliable real-time systems
Spotted on Hacker News on September 8, 2026.
real-time
TI
tigerlang
Maker