genode/repos/os/include/pci
2022-10-12 12:09:37 +02:00
..
config.h platform_drv: implement PCI powering and reset 2022-10-12 12:09:37 +02:00
types.h pci: export BAR indices, sub-vendor, -product, rev 2022-08-10 13:33:03 +02:00