/CuBit

General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64

Primary LanguageAdaGNU General Public License v3.0GPL-3.0

No issues in this repository yet.