§Sources

planarian @ a924e09 · Spec v4.6 · snapshot main · all versions

• NixOS manual: what happens during a system switch · systemd.unit: dependencies · Verus: trusted components · Nix glossary: content vs input addressing
• NixOS 26.05 release · COSMIC on NixOS
• Firecracker · microvm.nix · Lanzaboote · Feral GameMode · Anderson, Computer Security Technology Planning Study, ESD-TR-73-51 (1972) · Burgess, “Computer Immunology” (1998)
• Asterinas · paper · 0.19 · vostd · Verus · Snix · relibc · mistral.rs · Nova · Tyr · Smithay · niri · COSMIC 1.10