Hide binary_ready_hook_for_platform from public

The hook is meant to be internal to the framework. So better keep its
declaration in the framework-internal globals.h header.

Issue #3581

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() { }
 

repos/base/include/base/platform.h

@@ -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_ */

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

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() { }
 

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>