hw-proof-y += hw-mmio_range.adb
hw-proof-$(CONFIG_HWBASE_DIRECT_PCIDEV) += hw-pci-devinst.ads
hw-proof-$(CONFIG_HWBASE_LINUX_PCIDEV) += hw-pci-devinst.ads