Index: kernel/generic/src/udebug/udebug.c
===================================================================
--- kernel/generic/src/udebug/udebug.c	(revision fafb8e5dc8a80c87cf66270ca6f93d574a95471c)
+++ kernel/generic/src/udebug/udebug.c	(revision 1743f8e4f6cec91f83c5d1bb547144cbbc03364d)
@@ -479,10 +479,8 @@
 	mutex_unlock(&THREAD->udebug.lock);
 
-	/* Make sure the debugging session is over before proceeding. */
-	mutex_lock(&THREAD->udebug.lock);
-	while (THREAD->udebug.active)
-		condvar_wait(&THREAD->udebug.active_cv, &THREAD->udebug.lock);
-	mutex_unlock(&THREAD->udebug.lock);
-
+	/*
+	 * This is where we will typically block until a post-mortem debugger
+	 * terminates the debugging session.
+	 */
 	udebug_stoppable_end();
 }