arm:caching clean caches before setting up mappings.

Change-Id: I9ff1bb04ea9c0adeb76e5176526448d93bfe29f5

diff --git a/kernel/arch/earm/pre_init.c b/kernel/arch/earm/pre_init.c
index d311c28c1c92e94c7dc6a937b0efc3262c8a21ac..8e27cd900b7948dbada2d021259e1235f0b6d490 100644 (file)
--- a/kernel/arch/earm/pre_init.c
+++ b/kernel/arch/earm/pre_init.c
@@ -276,6 +276,7 @@ kinfo_t *pre_init(u32_t magic, u32_t ebx)
         * to where it should be; but first a 1:1 mapping so
         * this code stays where it should be.
         */
+       dcache_clean(); /* clean the caches */
        pg_clear();
        pg_identity(&kinfo);
        kinfo.freepde_start = pg_mapkernel();