seL4?
зачем?
Да, конечно
для начала, теоретически: есть сомнения, что оно должно работать, причём неплохо
зачем, там колоссальный оверхэд, не зря от микроядер отказались везде, кроме низкого уровня...
какой именно overhead имеете в виду?
между модулями, если у тебя нет очень узкой задачи, решение которой не выходит за один модуль, то на взаимодействе модулей будет сжираться куча рессурсов
в старых микроядрах есть overhead на переключение из режима ядра в режим пользователя
Обсуждают сегодня