From 8f535d5371e16be37d0f2e809b0c96011a1b3ecb Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Thu, 7 May 2015 14:24:48 +0200
Subject: [PATCH] sel4: enter real thread function

---
 repos/base-sel4/src/core/thread_start.cc | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/repos/base-sel4/src/core/thread_start.cc b/repos/base-sel4/src/core/thread_start.cc
index d45930bbef..1ca6242a5c 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();
 }