Show HN: Run Linux kernel drivers in userspace on Neptune OS, NT-like OS on seL4

By cl91 · 2026-09-23 · 3 points · 0 comments

For the past ten years I have been working on a side project which I have taken to call Neptune OS [1], named after the ill-fated Microsoft Windows codename. Neptune OS is a Windows NT-like operating system built on the seL4 microkernel. The project has reached a point where it…

Open the full discussion on BetterNews