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

Category: infrastructure

Tags: operating-system, microkernel, sel4, windows-nt, device-drivers

Score: 8.0/10 (Innovation: 9, Technical: 10, Documentation: 7, Utility: 6)

Neptune OS is a Windows NT-like operating system built on the seL4 microkernel, reimplementing the NT Executive as a userspace server to enable unmodified Linux and Windows kernel drivers to run as isolated userspace processes. It demonstrates a novel pure microkernel architecture with capability-based IPC and has successfully run complex drivers like AMDGPU and i915, showcasing a promising direction for OS design.

Target audience: OS developers, systems programmers, kernel engineers

Repository: https://github.com/cl91/NeptuneOS · C · GPL-3.0 · 480 stars

View on Hacker News