News for hackers. Stuff that matters.

A comment on Neptune OS: a WinNT personality of the seL4 microkernel.

Re:Neptune OS: a WinNT personality of the seL4 microkernel by xvilka on Wednesday February 23, 2022 @07:32AM (#30440321)
Based on the code from ReactOS[1][2].

[1] https://reactos.org/

[2] https://github.com/reactos/reactos

[ Parent | on HN ]

There are no comments on this comment yet.