Проект Neptune OS развивает слой совместимости с Windows на базе микроядра seL4 Опубликован первый экспериментальный выпуск проекта Neptune OS, развивающего надстройку над микроядром seL4 с реализацией компонентов ядра Windows NT, нацеленную на предоставление поддержки выполнения Windows-приложений. Код распространяется под лицензией GPLv3.