История изменений
Исправление sanyo1234, (текущая версия) :
медленно
seL4 - одно из самых скоростных микроядер.
графика например на микроядре говорят очень сильно тормозит (перекачка памяти нужна)
Хотя бы без графики, для серверных задач.
Хотя бы дополнительный форк Embox, оставив в основном все как есть. Может быть, возможная какая-то универсальность Embox типа Genode или GNU (Linux vs Hurd), чтобы ядро было на выбор?
Просто не очень понятно:
1) Как обеспечить безопасность без микроядра?
2) Зачем еще один микролинукс частично совместимый с GNU софтом, в котором как обычно не решены проблемы безопасности ?
Исправление sanyo1234, :
медленно
seL4 - одно из самых скоростных микроядер.
графика например на микроядре говорят очень сильно тормозит (перекачка памяти нужна)
Хотя бы без графики, для серверных задач.
Хотя бы дополнительный форк Embox, оставив в основном все как есть. Может быть, возможная какая-то универсальность Embox типа Genode или GNU (Linux vs Hurd), чтобы ядро было на выбор?
Просто не очень понятно:
1) Как обеспечить безопасность без микроядра
2) Зачем еще один микролинукс частично совместимый с GNU софтом, в котором как обычно не решены проблемы безопасности ?
Исходная версия sanyo1234, :
медленно
seL4 - одно из самых скоростных микроядер.
графика например на микроядре говорят очень сильно тормозит (перекачка памяти нужна)
Хотя бы без графики, для серверных задач.
Хотя бы дополнительный форк Embox, оставив в основном все как есть. Может быть, возможная какая-то универсальность Embox типа Genode или GNU (Linux vs Hurd), чтобы ядро было на выбор?