Changeset 7cd15b9 in mainline for boot/arch/arm32/src/main.c

Timestamp:

2014-04-18T19:04:14Z (11 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

6d5da743

Parents:

83b01c2

Message:

Flush cachelines holding the initial arm32 boot page table.
(Thx Jano Vesely)

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");