ARM: highbank: change TEXT_BASE to 0x8000

[u-boot] / include / configs / PCIPPC2.h

diff --git a/include/configs/PCIPPC2.h b/include/configs/PCIPPC2.h
index fb485b03ee05ec738f79162d7c1726b382b29970..77cedc06d67690350e17b08d89f4f78124816e22 100644 (file)
--- a/include/configs/PCIPPC2.h
+++ b/include/configs/PCIPPC2.h
@@ -55,6 +55,10 @@
 #define CONFIG_PREBOOT         ""
 #define CONFIG_BOOTDELAY       5
 
+#ifndef __ASSEMBLY__
+#include <galileo/core.h>
+#endif
+
 /*
  * BOOTP options
  */