Meet Neptune OS, an attempt to give seL4 a Windows personality transplant

Approved by the Department of Good Luck, You'll Need It

A new project dubbed Neptune OS intends to put a Windows-NT-compatible personality on top of the seL4 microkernel....