Now that we have support for running with caches enabled in HYP mode,
opt in to that on the Raspberry Pi 2. This brings a significant performance
boost.
Signed-off-by: Alexander Graf <agraf@suse.de>
 config TARGET_RPI_2
        bool "Raspberry Pi 2"
        select CPU_V7
+       select ARMV7_LPAE
 
 endchoice
 
 
 
        return 0;
 }
+
+#ifdef CONFIG_ARMV7_LPAE
+void enable_caches(void)
+{
+       dcache_enable();
+}
+#endif
 
 #define CONFIG_SKIP_LOWLEVEL_INIT
 #define CONFIG_BCM2836
 #define CONFIG_SYS_CACHELINE_SIZE              64
-#define CONFIG_SYS_DCACHE_OFF
 
 #include "rpi-common.h"