Announcing Neptune OS release v0.1.1: A Windows NT personality for seL4
Hi 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), 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 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’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).
On 23 Feb 2022, at 10:18, Chang Liu
Hi 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), 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 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’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).
Whoa, this sounds impressive! Gernot
On Wed, 23 Feb 2022 at 10:22, Chang Liu
Hi 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), 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 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’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).
Wow, this is superb - cool project, Chang! I don't see any mention of a project license in the repo, and some files don't have a license header - is the plan to release this under the same license as ReactOS (GPL 2.0 Only?) -- William ML Leslie
I just added a LICENSE file which is GPLv3. I'm honestly not sure what the difference between GPLv2 and GPLv3 is so I went with the latest version (I assume they are compatible?) Best, Chang On Tue, Feb 22, 2022 at 6:48 PM William ML Leslie < william.leslie.ttg@gmail.com> wrote:
On Wed, 23 Feb 2022 at 10:22, Chang Liu
wrote: Hi 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), 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 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’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).
Wow, this is superb - cool project, Chang!
I don't see any mention of a project license in the repo, and some files don't have a license header - is the plan to release this under the same license as ReactOS (GPL 2.0 Only?)
-- William ML Leslie
On Wed, 23 Feb 2022 at 15:29, Chang Liu
I just added a LICENSE file which is GPLv3. I'm honestly not sure what the difference between GPLv2 and GPLv3 is so I went with the latest version (I assume they are compatible?)
Best, Chang
Not quite. GPLv3 includes a clause to prevent e.g. what Samsung did where the camera stops working if you recompile the code yourself, but GPLv2 doesn't allow you to add a restriction like this. If you want to incorporate a lot of upstream code from React OS or Linux, especially if the files you copy from are under GPLv2-Only, that is really the only license that works for the whole project. That said, you can use any compatible license for code you add yourself.
On Tue, Feb 22, 2022 at 6:48 PM William ML Leslie < william.leslie.ttg@gmail.com> wrote:
On Wed, 23 Feb 2022 at 10:22, Chang Liu
wrote: Hi 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), 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 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’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).
Wow, this is superb - cool project, Chang!
I don't see any mention of a project license in the repo, and some files don't have a license header - is the plan to release this under the same license as ReactOS (GPL 2.0 Only?)
-- William ML Leslie
-- William ML Leslie
That is one of the coolest projects around seL4 I would ever figure out.
I'll try ASAP.
El mié., 23 feb. 2022 0:22, Chang Liu
Hi 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), 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 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’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). _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
participants (4)
-
Chang Liu
-
Gernot Heiser
-
Hugo V.C.
-
William ML Leslie