Hacker GitHub

← All repos

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

Mentions per year 6 mentions · busiest year 2024 (3)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 6
    Show HN: Run Linux kernel drivers in userspace on Neptune OS, NT-like OS on seL4
    story by cl91 · 2026-09-23 · 0 comments
  2. ▲ 142
    Neptune OS: a WinNT personality of the seL4 microkernel
    story by themk · 2022-02-23 · 22 comments