Я хочу построить систему над seL4, и я не хочу писать драйверы с нуля. Я знаю, что L4linux помог собрать все ядра Linux, включая драйверы, за фиаско.OC.Есть ли простой способ подключения драйверов linux к L4?
В идеале я хочу, чтобы оболочка драйвера позволяла запускать драйверы linux в виде автономных задач над sel4.
Я готов котировать много. но я хочу избежать чтения спецификаций аппаратных средств и перезаписи драйверов.
Я последний раз смотрел L4 в глубину много лет назад.
Основываясь на моем понимании, ответ на ваш вопрос должен быть вообще нет. Причинами этого являются в основном два аспекта: один из них заключается в том, что полностью раздутый драйвер linux должен заботиться о слишком многих аспектах для интеграции в подсистемы ядра. Другая причина состоит в том, что два ядра различны.
Если конкретный драйвер, на который вы смотрите, не сильно интегрируется в подсистемы ядра, может возникнуть не большая задача для разработки обертки.
Поскольку seL4 представляет собой микроядро, а не монолитное, как Linux, большинство драйверов необходимо портировать явно, поскольку его механизмы IPC, памяти и т. Д. Разные. –