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;