From ae5e5cefc1aa9e2aee0febdb0ae83ac80b084bc7 Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Tue, 19 Nov 2013 15:13:10 +0100
Subject: [PATCH] hw: initialize sctrl register appropriately

Fixes #916
---
 base-hw/src/core/cpu/arm_v7.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/base-hw/src/core/cpu/arm_v7.h b/base-hw/src/core/cpu/arm_v7.h
index 0236d9c7d..1671bcd34 100644
--- a/base-hw/src/core/cpu/arm_v7.h
+++ b/base-hw/src/core/cpu/arm_v7.h
@@ -183,6 +183,7 @@ namespace Arm_v7
 		static void init_phys_kernel()
 		{
 			Board::prepare_kernel();
+			Sctlr::write(Sctlr::init_phys_kernel());
 			Psr::write(Psr::init_kernel());
 			flush_tlb();
 		}