История изменений
Исправление sanyo1234, (текущая версия) :
Очень сильно замороченная по безопасности архитектура,
В чем это проявляется?
плюс ОС изначально разрабатывалась для управления критичными системами, типа метрополитена или ядерных реакторов, где сбой и правда недопустим.
Почему General Dynamics использует микроядерную seL4, а не VMS?
https://www.osnews.com/story/132990/sel4-micro-kernel-working-towards-a-gener...
Anyway, I’m pretty seL4 is used for military applications, which is why it keeps chugging along without anyone every paying it any mind. Looking at the list of past and present members is quite telling: General Dynamics, Boeing, Raytheon,
Исходная версия sanyo1234, :
Очень сильно замороченная по безопасности архитектура,
В чем это проявляется?
плюс ОС изначально разрабатывалась для управления критичными системами, типа метрополитена или ядерных реакторов, где сбой и правда недопустим.
Почему General Dynamics использует микроядерную seL4, а не VMS?
https://www.osnews.com/story/132990/sel4-micro-kernel-working-towards-a-gener...
Anyway, I’m pretty seL4 is used for military applications, which is why it keeps chugging along without anyone every paying it any mind. Looking at the list of past and present members is quite telling: General Dynamics, Boeing, Raytheon,