Changes in boot/arch/arm32/src/main.c [7cd15b9:67d02bb] 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");