Проект Neptune OS развивает слой совместимости с Windows на базе микроядра seL4 https://opennet.ru/56762/