[seL4] Re: Announcing Neptune OS release v0.1.1: A Windows NT personality for seL4

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