From 86785e70e68dfaca1d1aeb9e7bb5fc870b63151a Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Fri, 25 Jan 2013 14:47:15 +0100
Subject: [PATCH] base-hw & arm_v7: fix CPU initialization bug

ref #601
---
 base-hw/src/core/cpu/arm_v7.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/base-hw/src/core/cpu/arm_v7.h b/base-hw/src/core/cpu/arm_v7.h
index 4866b5f2ad..c2c35bf8fc 100644
--- a/base-hw/src/core/cpu/arm_v7.h
+++ b/base-hw/src/core/cpu/arm_v7.h
@@ -96,7 +96,7 @@ namespace Arm_v7
 			static access_t init_phys_kernel()
 			{
 				return base_value() |
-				       Arm::Cpu::Sctlr::init_virt_kernel() |
+				       Arm::Cpu::Sctlr::init_phys_kernel() |
 				       Sw::bits(0) |
 				       Ha::bits(0) |
 				       Nmfi::bits(0) |