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 monocasa on Wednesday February 23, 2022 @03:04PM (#30445674)
Ah, gotcha, I missed that. Thanks for the correction.
[ Parent | on HN ]

There are no comments on this comment yet.