cubit

github.comtool

CuBitOS is a multi-processor, 64-bit, (partially) formally-verified, general-purpose operating system, currently for the x86-64 architecture.

from

Ada/SPARK

added

2026-10-10

likes

0

Ada/SPARK › OS and Kernels: “CuBitOS is a multi-processor, 64-bit, (partially) formally-verified, general-purpose operating system, currently for the x86-64 architecture.”