avr32: Add simple paging support
[platform/kernel/u-boot.git] / arch / avr32 / lib / board.c
index 9e741d2..aa589bb 100644 (file)
@@ -33,6 +33,7 @@
 
 #include <asm/initcalls.h>
 #include <asm/sections.h>
+#include <asm/arch/mmu.h>
 
 #ifndef CONFIG_IDENT_STRING
 #define CONFIG_IDENT_STRING ""
@@ -265,6 +266,9 @@ void board_init_r(gd_t *new_gd, ulong dest_addr)
        gd->flags |= GD_FLG_RELOC;
        gd->reloc_off = dest_addr - CONFIG_SYS_MONITOR_BASE;
 
+       /* Enable the MMU so that we can keep u-boot simple */
+       mmu_init_r(dest_addr);
+
        board_early_init_r();
 
        monitor_flash_len = _edata - _text;