Kyösti Mälkki (kyosti.malkki@gmail.com) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/3622
-gerrit
commit 5f8801acc133a7240b9fe95914bc571f9491d99e Author: Kyösti Mälkki kyosti.malkki@gmail.com Date: Sun Jul 7 12:51:19 2013 +0300
arch/armv7 devicetree: Conditionally have PCI headers
Including pci.h for arch/armv7 breaks builds and/or uses invalid arch/pci_ops.h.
Change-Id: Ib78e7367be400c96ab0f8d6ec25dce241a768abd Signed-off-by: Kyösti Mälkki kyosti.malkki@gmail.com --- util/sconfig/main.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/util/sconfig/main.c b/util/sconfig/main.c index 03ba1ef..4161c48 100644 --- a/util/sconfig/main.c +++ b/util/sconfig/main.c @@ -634,7 +634,7 @@ int main(int argc, char** argv) { if (scan_mode == STATIC_MODE) {
fprintf(autogen, "#include <device/device.h>\n"); - fprintf(autogen, "#include <device/pci.h>\n"); + fprintf(autogen, "#if CONFIG_PCI\n#include <device/pci.h>\n#endif\n"); h = &headers; while (h->next) { h = h->next;