Changes in / [6d5da743:723ce99] in mainline

Files:

• boot/arch/arm32/src/main.c (modified) (1 diff)
• kernel/arch/arm32/include/arch/mm/page_armv6.h (modified) (1 diff)
• tools/ew.py (modified) (1 diff)

boot/arch/arm32/src/main.c

@@ -129 +129 @@
         
         printf(".\n");
-
-        /* Flush PT too. We need this if we disable caches later */
-        clean_dcache_poc(boot_pt, PTL0_ENTRIES * PTL0_ENTRY_SIZE);
         
         printf("Booting the kernel...\n");

kernel/arch/arm32/include/arch/mm/page_armv6.h

@@ -258 +258 @@
         if (flags & PAGE_CACHEABLE) {
                 /*
-                 * Write-through, write-allocate memory, see ch. B3.8.2
+                 * Write-through, no write-allocate memory, see ch. B3.8.2
                  * (p. B3-1358) of ARM Architecture reference manual.
                  * Make sure the memory type is correct, and in sync with:

tools/ew.py

@@ -80 +80 @@
                 return 'system-x86_64', pc_options(64)
         elif platform == 'arm32':
-                return 'system-arm', '-M integratorcp'
+                return 'system-arm', ''
         elif platform == 'ia32':
                 return 'system-i386', pc_options(32)