Hacker News
- Neptune OS: a WinNT personality of the seL4 microkernel https://github.com/cl91/NeptuneOS 22 comments
Related searches:
Search whole site: site:github.com
Search title: GitHub - cl91/NeptuneOS: Neptune OS: A Windows NT personality for the seL4 microkernel
See how to search.