«Скрепя сердце» положительно проголосовал за статью — боролись два чувства. Первое, это радость от того, что L4 шагает по планете, второе — эти ребята из Open Kerenl Labs и из Дрездена создают конкурирующий продукт. Не надо смеяться — я почти 12 лет в одиночку «пилю» операционную система на микроядре L4Ka Pistachio (о котором в статье ни слова), но разве может «сумасшедший инженер» соревноваться с несколькимим университами, компаниями и сообществами? Хотя, я не совсем одинок — мой компаньон поддерживает сайт и помогает во многих вопросах, но у него совершенно нет времени на кодирование.
Ну почему сразу конкурирующих? Может у вас продукты ориентированы на разные сферы применения. Да и потом, это-же L4 где «в одном флаконе» могут уживаться разные OS personalities.
Часть патчей в форке Fiasco.OC касается именно L4Re: https://github.com/iloskutov/foc/commits/r47-sun4i. Там не хватает только патча для скрипта конфигурирующего сборку, вызываемого make setup в L4Re. Если нужен, могу выложить. L4Re я тестировал тоже.
Портирование Genode OS Framework на новую аппаратную платформу