|
@@ -55,6 +55,15 @@
|
|
|
#undef CONFIG_USE_IRQ /* no support for IRQs */
|
|
|
#define CONFIG_MISC_INIT_R
|
|
|
|
|
|
+#define CONFIG_OF_LIBFDT 1
|
|
|
+/*
|
|
|
+ * The early kernel mapping on ARM currently only maps from the base of DRAM
|
|
|
+ * to the end of the kernel image. The kernel is loaded at DRAM base + 0x8000.
|
|
|
+ * The early kernel pagetable uses DRAM base + 0x4000 to DRAM base + 0x8000,
|
|
|
+ * so that leaves DRAM base to DRAM base + 0x4000 available.
|
|
|
+ */
|
|
|
+#define CONFIG_SYS_BOOTMAPSZ 0x4000
|
|
|
+
|
|
|
#define CONFIG_CMDLINE_TAG 1 /* enable passing of ATAGs */
|
|
|
#define CONFIG_SETUP_MEMORY_TAGS 1
|
|
|
#define CONFIG_INITRD_TAG 1
|