From 7ca56e3fc4ebf0da242f4eebefbf50a3634169d9 Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Fri, 20 Jun 2014 15:31:08 +0200
Subject: [PATCH] hw: fix compilation errors for i.MX53/TrustZone

Fix #1182
---
 repos/base-hw/src/core/imx53/trustzone/trustzone.cc | 2 ++
 repos/base-hw/src/core/vm_session_component.cc      | 1 +
 2 files changed, 3 insertions(+)

diff --git a/repos/base-hw/src/core/imx53/trustzone/trustzone.cc b/repos/base-hw/src/core/imx53/trustzone/trustzone.cc
index 0b5f0da96..562c87e67 100644
--- a/repos/base-hw/src/core/imx53/trustzone/trustzone.cc
+++ b/repos/base-hw/src/core/imx53/trustzone/trustzone.cc
@@ -24,6 +24,8 @@ extern int _mon_kernel_entry;
 
 void Kernel::init_trustzone(Pic * pic)
 {
+	using namespace Genode;
+
 	/* check for compatibility */
 	if (PROCESSORS > 1) {
 		PERR("trustzone not supported with multiprocessing");
diff --git a/repos/base-hw/src/core/vm_session_component.cc b/repos/base-hw/src/core/vm_session_component.cc
index b32044124..62e25ff68 100644
--- a/repos/base-hw/src/core/vm_session_component.cc
+++ b/repos/base-hw/src/core/vm_session_component.cc
@@ -18,6 +18,7 @@
 #include <cpu/cpu_state.h>
 
 /* core includes */
+#include <kernel/core_interface.h>
 #include <vm_session_component.h>
 
 using namespace Genode;