From caad308a2116ea722bafcffccbf12e8cfa973e6c Mon Sep 17 00:00:00 2001
From: Sebastian Sumpf <sebastian.sumpf@genode-labs.com>
Date: Mon, 3 Mar 2014 11:47:28 +0100
Subject: [PATCH] ldso: Export HW system call interface

Fixes #1081
---
 os/src/lib/ldso/symbol.map | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/os/src/lib/ldso/symbol.map b/os/src/lib/ldso/symbol.map
index 907dd6b58..1293e2316 100644
--- a/os/src/lib/ldso/symbol.map
+++ b/os/src/lib/ldso/symbol.map
@@ -88,6 +88,11 @@
 		/* Linux */
 		lx_syscall;
 
+		/* Base HW */
+		extern "C++" {
+			Kernel::*;
+		};
+
 	local:
 
 		/*