| Nico Huber | 5e9b1b5 | 2016-10-08 22:09:33 +0200 | [diff] [blame] | 1 | hw-proof-y += hw-mmio_range.adb |
| Nico Huber | ae9b855 | 2017-07-09 15:25:41 +0200 | [diff] [blame] | 2 | hw-proof-$(CONFIG_HWBASE_DIRECT_PCIDEV) += hw-pci-devinst.ads |
| Nico Huber | ff3240b | 2017-07-09 16:23:04 +0200 | [diff] [blame] | 3 | hw-proof-$(CONFIG_HWBASE_LINUX_PCIDEV) += hw-pci-devinst.ads |