Пример драйверов пользовательского пространства SEL4
Я пытаюсь написать пример USB-драйвера для sel4 в пользовательском пространстве. Кто-нибудь может иметь представление о драйвере пространства пользователя sel4, пожалуйста, поделитесь со мной... Если у кого-нибудь есть пример кода для драйвера пространства пользователя sel4 (примеры драйверов), пожалуйста, поделитесь со мной...
1 ответ
seL4 - это микроядро. его архитектура основана на переносе большинства модулей ядра (например, драйвера файловой системы, драйвера сетевого стека, ...) в область пользовательского пространства. поэтому в его репозитории все драйверы, такие как libusbdrivers, libethdrivers, libsdhcdriver, ... работают в режиме пользовательского пространства. чтобы вы могли их проверить.