General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
Repository Index
47,133 repositories indexed
1–3 of 3 · Most stars
An attempt at a minimalistic and secure operating system.
RISC-V 64-bit Kernel written in Ada
47,133 repositories indexed
1–3 of 3 · Most stars
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
An attempt at a minimalistic and secure operating system.
RISC-V 64-bit Kernel written in Ada