diff --git a/repos/base-linux/src/lib/base/platform.cc b/repos/base-linux/src/lib/base/platform.cc
index d2482b0fd..82e843931 100644
--- a/repos/base-linux/src/lib/base/platform.cc
+++ b/repos/base-linux/src/lib/base/platform.cc
@@ -14,9 +14,7 @@
 
 
 /* base-internal includes */
-#include <base/platform.h>
+#include <base/internal/globals.h>
 
-void binary_ready_hook_for_platform()
-{
-}
+void Genode::binary_ready_hook_for_platform() { }
 
diff --git a/repos/base/include/base/platform.h b/repos/base/include/base/platform.h
deleted file mode 100644
index 6f470db73..000000000
--- a/repos/base/include/base/platform.h
+++ /dev/null
@@ -1,20 +0,0 @@
-/*
- * \brief  Platform dependant hook after binary ready
- * \author Stefan Thoeni
- * \date   2019-12-13
- */
-
-/*
- * Copyright (C) 2019 Genode Labs GmbH
- * Copyright (C) 2019 gapfruit AG
- *
- * This file is part of the Genode OS framework, which is distributed
- * under the terms of the GNU Affero General Public License version 3.
- */
-
-#ifndef _INCLUDE__PLATFORM_H_
-#define _INCLUDE__PLATFORM_H_
-
-void binary_ready_hook_for_platform();
-
-#endif /* _INCLUDE__PLATFORM_H_ */
diff --git a/repos/base/src/include/base/internal/globals.h b/repos/base/src/include/base/internal/globals.h
index addaeb191..4a210fd40 100644
--- a/repos/base/src/include/base/internal/globals.h
+++ b/repos/base/src/include/base/internal/globals.h
@@ -52,6 +52,8 @@ namespace Genode {
 
 	Id_space<Parent::Client> &env_session_id_space();
 	Env &internal_env();
+
+	void binary_ready_hook_for_platform();
 }
 
 void genode_exit(int);
diff --git a/repos/base/src/lib/base/platform.cc b/repos/base/src/lib/base/platform.cc
index d2482b0fd..82e843931 100644
--- a/repos/base/src/lib/base/platform.cc
+++ b/repos/base/src/lib/base/platform.cc
@@ -14,9 +14,7 @@
 
 
 /* base-internal includes */
-#include <base/platform.h>
+#include <base/internal/globals.h>
 
-void binary_ready_hook_for_platform()
-{
-}
+void Genode::binary_ready_hook_for_platform() { }
 
diff --git a/repos/base/src/lib/ldso/main.cc b/repos/base/src/lib/ldso/main.cc
index eb4da0e8c..157ccd972 100644
--- a/repos/base/src/lib/ldso/main.cc
+++ b/repos/base/src/lib/ldso/main.cc
@@ -19,7 +19,6 @@
 #include <util/string.h>
 #include <base/thread.h>
 #include <base/heap.h>
-#include <base/platform.h>
 
 /* base-internal includes */
 #include <base/internal/unmanaged_singleton.h>