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

On Wed, 23 Feb 2022 at 15:29, Chang Liu wrote:

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