From e45f929ecac75e8a1f6be41a125b0ed219dfc73b Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Tue, 11 Feb 2014 18:13:56 +0100
Subject: [PATCH] ldso: make cxx symbols global

Issue #1042
---
 os/src/lib/ldso/symbol.map | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/os/src/lib/ldso/symbol.map b/os/src/lib/ldso/symbol.map
index fadf3afb2..907dd6b58 100644
--- a/os/src/lib/ldso/symbol.map
+++ b/os/src/lib/ldso/symbol.map
@@ -14,6 +14,12 @@
 			init_exception_handling*;
 			operator*new*;
 			operator*delete*;
+			genode_atexit*;
+			genode_exit*;
+			genode___cxa_finalize*;
+			genode_envp;
+			genode_argv;
+			genode_argc;
 		};
 		__dynamic_cast;