Re:Neptune OS: a WinNT personality of the seL4 microkernel
by ofrzeta on Wednesday February 23, 2022 @01:37AM
(#30438368)
"The status of the project right now is that we have implemented enough NT primitives to load a basic keyboard driver stack, which includes the keyboard class driver kbdclass.sys and the PS/2 port driver i8042prt.sys, as well as a basic command prompt ntcmd.exe, taken from the ReactOS project."
[ Parent
| on HN ]
There are no comments on this comment yet.