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