pci: Add bare metal HW.PCI.Dev implementation
Add a HW.PCI.Dev implementation that assumes direct hardware access,
i.e. its Map() implementations just returns the physical address of
a resource.
Change-Id: I055a05a17e207e8b43aa02d1b39023b027f94f6c
Signed-off-by: Nico Huber <nico.h@gmx.de>
Reviewed-on: https://review.coreboot.org/20551
Reviewed-by: Arthur Heymans <arthur@aheymans.xyz>
diff --git a/proof/Makefile.inc b/proof/Makefile.inc
index dae0b0d..9e8ec9b 100644
--- a/proof/Makefile.inc
+++ b/proof/Makefile.inc
@@ -1 +1,2 @@
hw-proof-y += hw-mmio_range.adb
+hw-proof-$(CONFIG_HWBASE_DIRECT_PCIDEV) += hw-pci-devinst.ads