The Neptune OS project is developing a compatibility layer for Windows based on the seL4 microkernel.
The first experimental release of the Neptune OS project has been published, which develops a layer over the seL4 microkernel with the implementation of Windows NT kernel components, aimed at providing support for running Windows applications. The code is distributed under the GPLv3 license. The project implements 'NT Executive', one of the levels of the Windows NT kernel (NTOSKRNL.EXE), responsible for providing NT Native system call APIs and an interface for driver operation. In Neptune […]
