Проблема всяких миниксов в том, что на базе них сейчас реально разве что ПАКи делать, притом, производителем/владельцем оборудования или по его заказу.
Осн штуки нынешних систем( особенно встраиваемых, куда бы тот миникс было бы неплохо затолкать ) - это тонны периферии, в первую очередь - графика.
Он интергированные видеоускорители поддерживает ? А если дискретную видюху подключить захочу - что и как с тем миниксом делать ?
А ведь без этого даже норм интерфейс не нарисовать ибо отрисовка на слабом  ЦП будет жрать кучу времени и энергии

В итоге, вроде что-то и есть, а вроде бы - что-то невнятное. То ли для ПК, то ли для встраиваемых систем, то ли - вообще для микроконтроллеров( и чем оно лучше тех же фри/сэйфртос или азур ртос ? ).
И реально, за отдельными( штучными ) исключениями, никуда толком не затолкать - для чего-то слишком плохая поддержка железа искаропки, а для чего-то - слишком жирная и с долгим откликом