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 <
[email protected]> wrote:

> On Wed, 23 Feb 2022 at 10:22, Chang Liu <[email protected]> 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
>
_______________________________________________
Devel mailing list -- [email protected]
To unsubscribe send an email to [email protected]

Reply via email to