From 400e577fd54bfb6375bb5b292dc3830ee6f29994 Mon Sep 17 00:00:00 2001
From: Kees Jongenburger <kees.jongenburger@gmail.com>
Date: Wed, 25 Sep 2013 10:47:57 +0200
Subject: [PATCH] arm:caching clean caches before setting up mappings.

Change-Id: I9ff1bb04ea9c0adeb76e5176526448d93bfe29f5
---
 kernel/arch/earm/pre_init.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/kernel/arch/earm/pre_init.c b/kernel/arch/earm/pre_init.c
index d311c28c1..8e27cd900 100644
--- 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();
-- 
2.44.0