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 mikewarot on Wednesday February 23, 2022 @03:59AM (#30439161)
Oh my!

What can I, as a long time Win32 user do to help drive this forward?

[ Parent | on HN ]
Re:Neptune OS: a WinNT personality of the seL4 microkernel by nix23 on Wednesday February 23, 2022 @04:11AM (#30439220)
Reading "The Cathedral and the Bazaar" ?
[ Parent | on HN ]