разобраться как-же всётаки использовать микроядро в продакшене чтоб оно не тормозило и как его такое написать чтоб программисты не свихнулись. И уже тогда, в светлом отдалённом комму^W будущем, начнётся собсно разработка (на основе наработок, конечно, но как отдельный процесс). Тогда и линаксокапец наступит.
В QNX со времён царя Гороха используется. Ничего не тормозит. Программисты умом не трогаются, потому что всё великолепно документировано. А пару лет назад сделали бесплатной для некоммерческого использования, и открыли доступ к исходникам.