diff --git a/repos/base-sel4/src/core/thread_start.cc b/repos/base-sel4/src/core/thread_start.cc
index d45930bbe..1ca6242a5 100644
--- a/repos/base-sel4/src/core/thread_start.cc
+++ b/repos/base-sel4/src/core/thread_start.cc
@@ -128,12 +128,9 @@ void Thread_base::_deinit_platform_thread()
 
 void Thread_base::_thread_start()
 {
-	int dummy;
-	PDBG("called, stack at 0x%p, spinning...", &dummy);
-	for (;;);
-
 	Thread_base::myself()->_thread_bootstrap();
 	Thread_base::myself()->entry();
+
 	sleep_forever();
 }