An attempt to create an NT clone. No plans for writing Win32 subsystem however.
-
Updated
Oct 21, 2023 - C
#
nt-like-kernel
Here are 2 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 nt-like-kernel topic, visit your repo's landing page and select "manage topics."