pok-kernel / pok
POK kernel. Safe and secure for safety-critical systems.
☆94Updated last month
Related projects ⓘ
Alternatives and complementary repositories for pok
- ☆96Updated 5 years ago
- The Schedulability Test Collection And Toolkit☆38Updated 4 years ago
- Device trees used by QEMU to describe the hardware