News for hackers. Stuff that matters.
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."

There are no comments on this comment yet.