SEL4用户空间驱动程序示例

Question

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

Answer 1

sel4是微粒。它的体系结构基于传输大多数内核模块（例如文件系统驱动程序，网络堆栈驱动程序，...）到用户空间区域。因此，在其存储库中，所有驱动程序等驱动程序，例如libusbdrivers，libethdrivers，libsdhcdriver，...在用户空间模式下工作。因此您可以检查它们。