# Announcing Neptune OS release v0.1.1: A Windows NT personality for seL4

**URL:** https://sel4.discourse.group/t/announcing-neptune-os-release-v0-1-1-a-windows-nt-personality-for-sel4/485
**Category:** seL4 kernel
**Created:** [February 22, 2022, 11:05pm UTC](https://sel4.discourse.group/t/announcing-neptune-os-release-v0-1-1-a-windows-nt-personality-for-sel4/485 "2022-02-22T23:05:34Z")
**Posts on this page:** 1
**Page:** 1

<div class="post-metadata">

### Author: ![cl91](https://avatars.discourse-cdn.com/v4/letter/c/c2a13f/32.png) [@cl91](https://sel4.discourse.group/u/cl91)
#### Post date: [February 22, 2022, 11:05pm UTC](https://sel4.discourse.group/t/announcing-neptune-os-release-v0-1-1-a-windows-nt-personality-for-sel4/485/1 "2022-02-22T23:05:34Z")

</div>

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 - cl91/NeptuneOS: Neptune OS: A Windows NT personality for the seL4 microkernel](https://github.com/cl91/NeptuneOS). The entire system fits in a floppy (download link: [Release Release 0.1.0001 · cl91/NeptuneOS · GitHub](https://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`).

Best,  
cl91