device-driver - SEL4 用户空间驱动程序示例

Question

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

Answer 1

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