Announcing Neptune OS release v0.1.1: A Windows NT personality for the seL4 microkernel

--===============2597171621071857312==
Content-Type: multipart/alternative; boundary="000000000000bada6e05d8a840d5"

--000000000000bada6e05d8a840d5
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

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 =E2=80=9CNeptune OS=E2=80=9D, named after the codename fo=
r 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=E2=80=99m 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. The entire system
fits in a floppy (download link:
github.com/cl91/NeptuneOS/releases/tag/v0.1.0001).

Check it out! I think it=E2=80=99s cool! For the next release I=E2=80=99m p=
lanning to port
the PCI stack, the AHCI stack, and a basic file system (probably
fastfat.sys).

--000000000000bada6e05d8a840d5
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div>Hi list,</div><br>This is not strictly ReactOS develo=
pment per se but I used a large amount of ReactOS code and it&#39;s at leas=
t spiritually related to ReactOS, so I&#39;m cross-posting this here to see=
 if I get more comments. Below is the original message I posted on the seL4=
 mailing list:<br><br>For the past several months I have been working on a =
project which is to implement a Windows NT personality for the seL4 microke=
rnel, which I have now taken to call =E2=80=9CNeptune OS=E2=80=9D, named af=
ter 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 seL=
4), as well as a command prompt (shell), which is also taken from the React=
OS source code (albeit a very early version of ReactOS). These are all kern=
el-mode Windows device drivers that I=E2=80=99m running as user processes u=
nder seL4. The goal is to demonstrate that with modern progress in microker=
nel design it is indeed possible to realize the original NT design as an ob=
ject-oriented, message-passing based client-server model microkernel OS (al=
legedly NT was originally going to be a microkernel, as seen in the NTOSKRN=
L code that has a ke layer and an ex layer).<br><br>The project is now on g=
ithub: <a href=3D"http://github.com/cl91/NeptuneOS">github.com/cl91/Neptune=
OS</a>. The entire system fits in a floppy (download link: <a href=3D"http:=
//github.com/cl91/NeptuneOS/releases/tag/v0.1.0001">github.com/cl91/Neptune=
OS/releases/tag/v0.1.0001</a>).<br><br>Check it out! I think it=E2=80=99s c=
ool! For the next release I=E2=80=99m planning to port the PCI stack, the A=
HCI stack, and a basic file system (probably fastfat.sys).</div>

--000000000000bada6e05d8a840d5--


--===============2597171621071857312==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
Ros-dev mailing list
[email protected]
http://reactos.org/mailman/listinfo/ros-dev

--===============2597171621071857312==--