23 Feb
2022
23 Feb
'22
3:43 p.m.
Hi ,
this is great work which I wanted to do for many years but never had
enough motivation.
I will definitely follow up your development, and already starred the
Github repo.
Regards,
Alex Bragin
On 23-Feb-22 7:53 AM, Chang Liu wrote:
Hi list,
This is not strictly ReactOS development per se but I used a large
amount of ReactOS code and it's at least spiritually related to
ReactOS, so I'm cross-posting this here to see if I get more comments.
Below is the original message I posted on the seL4 mailing list:
For the past several months I have been working on a project which is
to implement a Windows NT personality for the seL4 microkernel, which
I have now taken to call “Neptune OS”, named after the codename for
Windows 2000. The project has reached the point where I have
implemented enough NT primitives such that a keyboard driver stack
(taken from the ReactOS source code) can be loaded (as a user process
on seL4), as well as a command prompt (shell), which is also taken
from the ReactOS source code (albeit a very early version of ReactOS).
These are all kernel-mode Windows device drivers that I’m running as
user processes under seL4. The goal is to demonstrate that with modern
progress in microkernel design it is indeed possible to realize the
original NT design as an object-oriented, message-passing based
client-server model microkernel OS (allegedly NT was originally going
to be a microkernel, as seen in the NTOSKRNL code that has a ke layer
and an ex layer).
The project is now on github: github.com/cl91/NeptuneOS
<http://github.com/cl91/NeptuneOS>. The entire system fits in a floppy
(download link: github.com/cl91/NeptuneOS/releases/tag/v0.1.0001
<http://github.com/cl91/NeptuneOS/releases/tag/v0.1.0001>).
Check it out! I think it’s cool! For the next release I’m planning to
port the PCI stack, the AHCI stack, and a basic file system (probably
fastfat.sys).