A modern, NT-inspired OS with a modular kernel and robust driver support.
-
Updated
Feb 16, 2025 - C++
#
nt-like
Here are 3 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 topic, visit your repo's landing page and select "manage topics."