Re:Neptune OS: a WinNT personality of the seL4 microkernel
by Semaphor on Wednesday February 23, 2022 @02:35AM
(#30438651)
Probably posted because 0.1.0001 was just [0] released 9 hours ago:
> Basic keyboard stack and a command line shell. All drivers run in the user space. Pretty much none of the commands actually work because we haven't implemented many things, but the keyboard stack works reasonably well. We also included a beep driver to make an annoying sound on the PC speaker.
> Basic keyboard stack and a command line shell. All drivers run in the user space. Pretty much none of the commands actually work because we haven't implemented many things, but the keyboard stack works reasonably well. We also included a beep driver to make an annoying sound on the PC speaker.
[0]: https://github.com/cl91/NeptuneOS/releases/tag/v0.1.0001