News for hackers. Stuff that matters.

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

Re:Neptune OS: a WinNT personality of the seL4 microkernel by globular-toast on Wednesday February 23, 2022 @06:22AM (#30439964)
It's a dependency for the build process.
[ Parent | on HN ]

There are no comments on this comment yet.