sel4-sys

文档

lib.rs:

PCI总线管理

此crate定义了与PCI本地总线一起工作的各种特质、函数和类型。

假设PCI(e)已经配置 - 也就是说，每个设备都分配了它请求的内存，并且BARs已经正确配置。固件（BIOS，UEFI）通常在PC平台上执行此操作。

此crate还不适合多核使用 - 没有任何同步。

此crate尚未包含任何针对有缺陷或损坏硬件的特定硬件解决方案。

此crate还无法利用PCIe内存映射配置空间。

此crate目前仅支持x86。