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

--===============4577281611710096958==
Content-Type: multipart/alternative; boundary="00000000000071f6c205d8b28452"

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

Glad to hear that you are interested, Alex!


On Wed, Feb 23, 2022 at 10:44 AM Aleksey Bragin <[email protected]> wrote=
:

> 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 =E2=80=9CNeptune OS=E2=80=9D, 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 sour=
ce
> 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 i=
s 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 wa=
s
> originally going to be a microkernel, as seen in the NTOSKRNL code that h=
as
> 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=
 planning to port
> the PCI stack, the AHCI stack, and a basic file system (probably
> fastfat.sys).
>
>
> _______________________________________________
> Ros-general mailing list
> [email protected]
> http://reactos.org/mailman/listinfo/ros-general
>

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

<div dir=3D"ltr">Glad to hear that you are interested, Alex!<br clear=3D"al=
l"><div><div dir=3D"ltr" class=3D"gmail_signature" data-smartmail=3D"gmail_=
signature"><div dir=3D"ltr"><div><div dir=3D"ltr"><br></div></div></div></d=
iv></div></div><br><div class=3D"gmail_quote"><div dir=3D"ltr" class=3D"gma=
il_attr">On Wed, Feb 23, 2022 at 10:44 AM Aleksey Bragin &lt;<a href=3D"mai=
lto:[email protected]">[email protected]</a>&gt; wrote:<br></div><block=
quote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-left:1=
px solid rgb(204,204,204);padding-left:1ex">
 =20
   =20
 =20
  <div>
    <div>Hi ,</div>
    <div>this is great work which I wanted to do
      for many years but never had enough motivation.</div>
    <div><br>
    </div>
    <div>I will definitely follow up your
      development, and already starred the Github repo.</div>
    <div><br>
    </div>
    <div>Regards,</div>
    <div>Alex Bragin<br>
    </div>
    <div><br>
    </div>
    <div>On 23-Feb-22 7:53 AM, Chang Liu wrote:<br>
    </div>
    <blockquote type=3D"cite">
     =20
      <div dir=3D"ltr">
        <div>Hi list,</div>
        <br>
        This is not strictly ReactOS development per se but I used a
        large amount of ReactOS code and it&#39;s at least 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
        microkernel, which I have now taken to call =E2=80=9CNeptune OS=E2=
=80=9D, 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=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).<br>
        <br>
        The project is now on github: <a href=3D"http://github.com/cl91/Nep=
tuneOS" target=3D"_blank">github.com/cl91/NeptuneOS</a>.
        The entire system fits in a floppy (download link: <a href=3D"http:=
//github.com/cl91/NeptuneOS/releases/tag/v0.1.0001" target=3D"_blank">githu=
b.com/cl91/NeptuneOS/releases/tag/v0.1.0001</a>).<br>
        <br>
        Check it out! I think it=E2=80=99s cool! For the next release I=E2=
=80=99m
        planning to port the PCI stack, the AHCI stack, and a basic file
        system (probably fastfat.sys).</div>
    </blockquote>
    <br>
  </div>

_______________________________________________<br>
Ros-general mailing list<br>
<a href=3D"mailto:[email protected]" target=3D"_blank">Ros-general@re=
actos.org</a><br>
<a href=3D"http://reactos.org/mailman/listinfo/ros-general" rel=3D"noreferr=
er" target=3D"_blank">http://reactos.org/mailman/listinfo/ros-general</a><b=
r>
</blockquote></div>

--00000000000071f6c205d8b28452--


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

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

--===============4577281611710096958==--