SEL4 用户空间驱动程序示例

Question

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

Answer 1

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