#
sedna
Here are 4 public repositories matching this topic...
OpenComputers II formally verified NT-like kernel using Verus spec with IOCTL, DPC, IRQL, PatchGuard, objects behind handles, message ports, HAL, no kernel allocations. Uses Amiga Exec basic model. Verus's proc-macro2/quote & syn are stripped on spec-strip, so no deps.
opencomputers zero-dependency sedna opencomputers-mod ioctl verus nt-like-kernel nt-like opencomputers-2
-
Updated
Sep 28, 2026 - Rust
Add this topic to your repo
To associate your repository with the sedna topic, visit your repo's landing page and select "manage topics."