Hello, Nicolas:
We saw the problem. We think It's related to MMU mapping.
X_ARM_MMU_SECTION(0x900, 0x000, 0x1FF,
ARM_CACHEABLE, ARM_BUFFERABLE,
ARM_ACCESS_PERM_RW_RW); /* SDRAM */
X_ARM_MMU_SECTION(0x900, 0x900, 0x200,
ARM_CACHEABLE, ARM_BUFFERABLE,
ARM_ACCESS_PERM_RW_RW); /* SDRAM */
X_ARM_MMU_SECTION(0x900, 0xE00, 0x200,
ARM_UNCACHEABLE, ARM_UNBUFFERABLE,
ARM_ACCESS_PERM_RW_RW); /* SDRAM 0:128M*/
If you disabled MMU, you should not see this problem. We will see how to resolve it.
diff --git a/include/configs/mx51_bbg.h b/include/configs/mx51_bbg.h
index 6115f24..4c26ad0 100644
--- a/include/configs/mx51_bbg.h
+++ b/include/configs/mx51_bbg.h
@@ -40,7 +40,7 @@
#define CONFIG_MX51_HCLK_FREQ 24000000 /* RedBoot says 26MHz */
#define CONFIG_ARCH_CPU_INIT
-#define CONFIG_ARCH_MMU
+//#define CONFIG_ARCH_MMU