Enable write buffering for the 1MB device memory section. This means using a different device framebuffer address too. You must update the firmware _and_ bootloader.

git-svn-id: svn://svn.rockbox.org/rockbox/trunk@17458 a1c6a512-1295-4272-9138-f99709370657

firmware/export/imx31l.h

@@ -30,7 +30,7 @@
 #define TTB_SIZE      (0x4000)
 #define IRAM_SIZE     (0x4000)
 #define TTB_BASE      ((unsigned int *)TTB_BASE_ADDR)
-#define FRAME         ((void*)0x80100000)
+#define FRAME         ((void*)0x03f00000)
 #define FRAME_SIZE    (240*320*2)
 
 #define DEVBSS_ATTR   __attribute__((section(".devbss"),nocommon))

firmware/target/arm/imx31/crt0.S

@@ -172,6 +172,13 @@ remap_start:
     cmp     r2, r3
     blo     1b
 
+    /* Map device section 0x80100000 to 0x03f00000 - buffered, not cached */
+    bic     r1, r1, #0x0ff00000
+    orr     r1, r1, #0x00100000
+    bic     r1, r1, #(1 << 3)
+    add     r2, r5, #63*4
+    str     r1, [r2]
+
     /* Enable MMU */
 
     mov     r0, #0