Re: Announcing Neptune OS release v0.1.1: A Windows NT personality for the seL4 microkernel
Aleksey Bragin <[email protected]> Wed, 23 Feb 2022 18:43:34 +0300
| Newsgroups | gmane.os.reactos.general |
|---|---|
| Message-ID | <[email protected]> |
This is a multi-part message in MIME format.
--===============4224926925110463564==
Content-Type: multipart/alternative;
boundary="------------0IYn0kBZgjwf70np2aPepHht"
Content-Language: en-US
This is a multi-part message in MIME format.
--------------0IYn0kBZgjwf70np2aPepHht
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
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).
--------------0IYn0kBZgjwf70np2aPepHht
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: 8bit
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<div class="moz-cite-prefix">Hi ,</div>
<div class="moz-cite-prefix">this is great work which I wanted to do
for many years but never had enough motivation.</div>
<div class="moz-cite-prefix"><br>
</div>
<div class="moz-cite-prefix">I will definitely follow up your
development, and already starred the Github repo.</div>
<div class="moz-cite-prefix"><br>
</div>
<div class="moz-cite-prefix">Regards,</div>
<div class="moz-cite-prefix">Alex Bragin<br>
</div>
<div class="moz-cite-prefix"><br>
</div>
<div class="moz-cite-prefix">On 23-Feb-22 7:53 AM, Chang Liu wrote:<br>
</div>
<blockquote type="cite"
cite="mid:CAMZVYU-wHDBF4QpdOdXA+_YMmU_erbFsu6DEkeSttK8qipJGQw@mail.gmail.com">
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<div dir="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'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:<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 “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).<br>
<br>
The project is now on github: <a
href="http://github.com/cl91/NeptuneOS" moz-do-not-send="true">github.com/cl91/NeptuneOS</a>.
The entire system fits in a floppy (download link: <a
href="http://github.com/cl91/NeptuneOS/releases/tag/v0.1.0001"
moz-do-not-send="true">github.com/cl91/NeptuneOS/releases/tag/v0.1.0001</a>).<br>
<br>
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).</div>
</blockquote>
<br>
</body>
</html>
--------------0IYn0kBZgjwf70np2aPepHht--
--===============4224926925110463564==
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
--===============4224926925110463564==--