diff --git a/base-foc/src/base/thread/thread_bootstrap.cc b/base-foc/src/base/thread/thread_bootstrap.cc
index 3dcc387a6..baf90a025 100644
--- a/base-foc/src/base/thread/thread_bootstrap.cc
+++ b/base-foc/src/base/thread/thread_bootstrap.cc
@@ -27,6 +27,3 @@ void Genode::Thread_base::_thread_start()
 	Lock sleep_forever_lock(Lock::LOCKED);
 	sleep_forever_lock.lock();
 }
-
-
-void Genode::Thread_base::_init_platform_thread() { }
diff --git a/base-foc/src/base/thread/thread_start.cc b/base-foc/src/base/thread/thread_start.cc
index 04457c20c..023fc29ef 100644
--- a/base-foc/src/base/thread/thread_start.cc
+++ b/base-foc/src/base/thread/thread_start.cc
@@ -38,10 +38,8 @@ void Thread_base::_deinit_platform_thread()
 }
 
 
-void Thread_base::start()
+void Genode::Thread_base::_init_platform_thread()
 {
-	using namespace Fiasco;
-
 	/* create thread at core */
 	char buf[48];
 	name(buf, sizeof(buf));
@@ -49,6 +47,12 @@ void Thread_base::start()
 
 	/* assign thread to protection domain */
 	env()->pd_session()->bind_thread(_thread_cap);
+}
+
+
+void Thread_base::start()
+{
+	using namespace Fiasco;
 
 	/* create new pager object and assign it to the new thread */
 	_pager_cap = env()->rm_session()->add_client(_thread_cap);
diff --git a/base-foc/src/core/thread_start.cc b/base-foc/src/core/thread_start.cc
index 4782211ec..7d69f7fac 100644
--- a/base-foc/src/core/thread_start.cc
+++ b/base-foc/src/core/thread_start.cc
@@ -35,6 +35,9 @@ void Thread_base::_deinit_platform_thread()
 }
 
 
+void Genode::Thread_base::_init_platform_thread() { }
+
+
 void Thread_base::start()
 {
 	using namespace Fiasco;