История изменений
Исправление sigurd, (текущая версия) :
В Genode ведь есть?
Так ты определись - размер исходников чего будем мерять? Микро-ядра sel4 или Genode? Размер исходников Genode много больше «10000 строк».
А зачем он? Мне лично интересны серверные безопасные оси, а не десктоп.
А как без интерфейса пользователя (командной строки хотя бы) ты будешь устанавливать и настраивать свой «безопасный сервер»?
Исходная версия sigurd, :
В Genode ведь есть?
Так ты определись - размер исходников чего будем мерять? Микро-ядра sel4 или Genode? Размер исходников Genode много больше «10000 строк».
А зачем он? Мне лично интересны серверные безопасные оси, а не десктоп.
А как без интерфейса пользователя (командной строки хотя бы) ты будешь устанавливать и настраивать свой «безопаный сервер»?