SEL4用户空间驱动程序示例

Question

我正在尝试在用户空间中为sel4编写示例usb驱动程序。任何人都可以了解sel4用户空间驱动程序请与我分享...   如果有人有sel4用户空间驱动程序（示例驱动程序）的示例代码，请与我分享......

Answer 1

seL4 是一个微内核。它的架构基于将大部分内核模块（例如文件系统驱动程序、网络堆栈驱动程序等）转移到用户空间区域。 因此，在其存储库中，所有驱动程序（如 libusbdrivers、libethdrivers、libsdhcdriver 等）都在用户空间模式下工作。所以你可以检查它们。