Changes in boot/arch/arm32/src/main.c [67d02bb:7cd15b9] in mainline

File:

• boot/arch/arm32/src/main.c (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");