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))