bare-bones

github.comtool

An Ada port of the osdev.org minimal 32-bit x86 kernel.

from

Ada/SPARK

added

2026-10-10

likes

0

Ada/SPARK › OS and Kernels: “An Ada port of the osdev.org minimal 32-bit x86 kernel.”