Что такое (микро) накладные расходы ядра и какие компоненты увеличивают количество циклов в микроядре? Источники информации были бы более чем полезны.

Я хочу собрать систему поверх seL4 и не хочу писать драйвера с нуля. Я знаю, что L4linux удалось поднять целое ядро ​​Linux, включая драйверы, поверх fiasco.OC. В идеале мне нужна оболочка драйвера, которая позволила бы мне запускать драйверы...