havk

github.comtool

x86-64 security-focused OS being created with SPARK.

from

Ada/SPARK

added

2026-10-10

likes

0

Ada/SPARK › OS and Kernels: “x86-64 security-focused OS being created with SPARK.”