This repository contains the source code of toro unikernel
- freepascal
- toro
- kernel
- lazarus
Repository Index
47,133 repositories indexed
1–3 of 3 · Most stars
NT-like POSIX-compatible operating system
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64