From 3893dae673ed0a0897d35639bddfc9b57ee8ce74 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Wed, 5 Feb 2014 14:42:15 +0100
Subject: [PATCH] cxx: implement __aeabi_atexit

Issue #1042
---
 base/src/base/cxx/misc.cc | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/base/src/base/cxx/misc.cc b/base/src/base/cxx/misc.cc
index 680bb38572..599663d146 100644
--- a/base/src/base/cxx/misc.cc
+++ b/base/src/base/cxx/misc.cc
@@ -64,7 +64,11 @@ extern "C" void __cxa_finalize(void *dso)
  ***********************************/
 
 
-extern "C" void *__aeabi_atexit() { return 0; }
+extern "C" int __aeabi_atexit(void *arg, void(*func)(void*),
+                              void *dso_handle)
+{
+	return genode___cxa_atexit(func, arg, dso_handle);
+}
 
 
 extern "C" __attribute__((weak))