История изменений
Исправление sanyo1234, (текущая версия) :
Конечно нет. Если бы идея заключалась в создании безопасной ОС, обязательно нужно было рассмотреть seL4. И конечно мы рассматриваем и изучаем опыт других проектов. Но идея Embox в том что прекрасный Linux имеет несколько проблемных моментов (гиганский объем кода например) и мы пошли путем вынесения в статику максимального количества проверок и получили свойства которые интересны в практической плоскости.
А разве нет других уже готовых микролинуксов с сильно обезжиренным ядром? К примеру:
https://en.m.wikipedia.org/wiki/Embeddable_Linux_Kernel_Subset
https://en.wikipedia.org/wiki/LibreCMC
https://en.wikipedia.org/wiki/Emdebian_Grip
https://en.wikipedia.org/wiki/OpenEmbedded
https://web.archive.org/web/20181113230737/http://www.uclinux.org/
https://en.m.wikipedia.org/wiki/ΜClinux
https://ru.wikipedia.org/wiki/Picotux
и т.п.
Сильно безопаснее они от этого вероятно не стали даже по сравнению с правильно настроенным полным линуксом.
Вы же сами сказали, что само ядро не особо интересно, драйвера нужны прикладное ПО…
Драйвера для seL4 уже есть в Genode, можно вероятно что-то было бы попытаться портировать из ваших готовых ядер.
Не хватает в Genode именно слоя совместимости с Linux API, это как раз то, что развивается у вас. POSIX кстати у них есть в какой-то степени. IMHO лучше было бы сосредоточиться на этаком LINE (по аналогии с WINE :), который работал бы на Genode.
А также поверх этого сделать бы вот такое:
Исходная версия sanyo1234, :
Конечно нет. Если бы идея заключалась в создании безопасной ОС, обязательно нужно было рассмотреть seL4. И конечно мы рассматриваем и изучаем опыт других проектов. Но идея Embox в том что прекрасный Linux имеет несколько проблемных моментов (гиганский объем кода например) и мы пошли путем вынесения в статику максимального количества проверок и получили свойства которые интересны в практической плоскости.
А разве нет других уже готовых микролинуксов? С сильно обезжиренным ядром? Сильно безопаснее они от этого вероятно не стали даже по сравнению с правильно настроенным полным линуксом.
Вы же сами сказали, что само ядро не особо интересно, драйвера нужны прикладное ПО…
Драйвера для seL4 уже есть в Genode, можно вероятно что-то было бы попытаться портировать из ваших готовых ядер.
Не хватает в Genode именно слоя совместимости с Linux API, это как раз то, что развивается у вас. POSIX кстати у них есть в какой-то степени. IMHO лучше было бы сосредоточиться на этаком LINE (по аналогии с WINE :), который работал бы на Genode.
А также поверх этого сделать бы вот такое: