а у нас вообще кто-то предлагает на рынок встраиваемые ОС?
Это фактически ядро Linux, кастомно собранное под какую либо архитектуру, с определённым набором драйверов и, может быть какой то допиленной логикой стека TCP\IP. Такое чудо может собирать и собирает любой вендор, в том числе и мы.