Re:Neptune OS: a WinNT personality of the seL4 microkernel
by p_l on Wednesday February 23, 2022 @08:35AM
(#30440780)
They can start an Native process (ntcmd.exe) but that's about it, as the commands available don't run due to missing bits.
[ Parent
| on HN ]
Re:Neptune OS: a WinNT personality of the seL4 microkernel
by cl91 on Wednesday February 23, 2022 @10:47AM
(#30442308)
The keyboard driver stack is working (we also have a PC speaker driver that makes an annoying beep). It's actually not as trivial as it seems, because passing IRPs across process boundary while maintaining the consistency of states is not that easy to get right, among other things. The goal of the very first release is to demonstrate that one can run Windows kernel drivers in seL4 user space and have a Windows (native NT, not Win32) application communicate with said Windows drivers via standard NT primitives (NtOpenFile and whatnot).