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. The project is still under development and doesn’t actually run anything yet, but is nonetheless an intriguing prospect. The secure embedded L4 microkernel – seL4 to its friends – is the fruit of microkernel operating system research that continued after the Mach generation, the latter being famously used inside macOS. seL4 has its own foundation to back it and aims to be both faster and more secure than Mach. Neptune OS adds another « personality » to seL4, based on the native API of the Windows NT kernel. In the project’s own words: In other words, it hopes to run Windows applications on something that isn’t Windows.
