Neptune OS: a WinNT personality of the seL4 microkernel

Re:Neptune OS: a WinNT personality of the seL4 microkernel by cl91 on Wednesday February 23, 2022 @10:39AM (#30442201)

Hi, I'm the author of this project (I didn't post this on HN someone else did). We have implemented NT processes. All device drivers and user executable are NT processes (created by NtCreateProcess or RtlCreateUserProcess). What we don't have is Win32 process, because there is no Win32 subsystem yet.

[ Parent | on HN ]

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 ]