Dmitry Ponyatov
тот же вопрос к местным хуавейщикам — зачем пилить специальный язык, если можно дать всем возможность писать на чем хочешь, и упереть усилия в аппаратную защиту на уровне железа и микроядра ОС?
Потому что практически везде mmu и переключения контекстов - очень дорого. Одно из самых дешевых в seL4, но а) тоже не бесплатно, б) его не умеют юзать для клиентского софта, чаще как гипервизор в телефонах; по итогу дешевле делать одноранговую систему с проверками на уровне компилятора, и без переключения контекстов, т.к. набор установленного там софта предопределен и отфильтрован.