SEL4用户空间驱动程序示例

Question

我正在尝试为用户空间中的sel4编写示例usb驱动程序。谁能有一个关于sel4用户空间驱动的想法，请与我分享…如果有人有sel4用户空间驱动程序的示例代码(示例驱动程序)，请与我分享...

Answer 1

seL4是一个微内核。其体系结构是基于调用大多数内核模块(例如文件系统驱动程序、网络堆栈驱动程序等)。到用户空间区域。所以在它的存储库中，所有的驱动程序，比如libusbdriver、libethdriver、libsdhcdriver，...在用户空间模式下工作。这样你就可以检查它们了。