Исходное сообщение
"Проекту seL4 присуждена премия ACM Software System Award" Отправлено пох., 07-Май-23 00:10
Нет, его к счастью писали, а не верифицировали-верифицировали. Просто на фоне линукса это неповоротливое чудовище (с драйверами, как нельзя более кстати, копипащенными из линукса же) оказалось никому совершенно не нужным. Т.е. добились что оно загружалось и можно было даже набрать /bin/ls - но что делать дальше все равно никто не знал. А это недоразумение даже и такого не может.