cl91/NeptuneOS
View on GitHub ↗ ★ 483 C
Neptune OS: A Windows NT-like operating system built on the seL4 microkernel
6 mentions on Hacker News by 4 people: 2 stories, 4 comments · first 2022-02-23 · latest 2026-09-23
20082026
-
▲ 6
Show HN: Run Linux kernel drivers in userspace on Neptune OS, NT-like OS on seL4story by cl91 · 2026-09-23 · 0 comments
-
GitHub.com/cl91/NeptuneOS Source: I wrote this.
comment by cl91 · 2024-06-20 · in ExectOS – brand new operating system which derives from NT architecture -
…somewhat-working port of the NT personality on the L4 µkernel (seL4 specifically) called NeptuneOS: https://github.com/cl91/NeptuneOS If you're into microkernels and/or the NT kernel model, I highly recommend checking it out
comment by dark-star · 2024-06-19 · in ExectOS – brand new operating system which derives from NT architecture -
There's an early version of the Win32 personality atop SeL4 called NeptuneOS ( https://github.com/cl91/NeptuneOS )
comment by dark-star · 2024-04-09 · in SeL4 Device Driver Framework 0.4.0 -
…reasonably well. We also included a beep driver to make an annoying sound on the PC speaker. [0]: https://github.com/cl91/NeptuneOS/releases/tag/v0.1.0001
comment by Semaphor · 2022-02-23 · in Neptune OS: a WinNT personality of the seL4 microkernel -
▲ 142
Neptune OS: a WinNT personality of the seL4 microkernelstory by themk · 2022-02-23 · 22 comments