Случайно оказалось, что в России есть открытый проект развития операционной системы под разные процессора/контроллера , называется Embox. Сайт на английском по причине, что интерес к Embox именно всемирный и очень минимально локальный. Стыдно товарищи!...
По предварительной информации компиляция и сборка делается стандартными GNU тулчейном под x86, ARM, MIPS и еще чего-то там.
Идея ядра своя , похожая но не Линакс.
Что интересно есть примеры под ArmV8A 64 разрядные... То есть это полный bare metal
...