blob: 9e8ec9bcf5cdb3300c5c8d5f5ad720bc70d6b708 [file] [log] [blame]
Nico Huber5e9b1b52016-10-08 22:09:33 +02001hw-proof-y += hw-mmio_range.adb
Nico Huberae9b8552017-07-09 15:25:41 +02002hw-proof-$(CONFIG_HWBASE_DIRECT_PCIDEV) += hw-pci-devinst.ads