Index: generic/src/ipc/ipcrsc.c
===================================================================
--- generic/src/ipc/ipcrsc.c	(revision 8eb36b02a8608e77dfda8c423adf25770f567041)
+++ generic/src/ipc/ipcrsc.c	(revision 81c4c6dada72dd5c14ac33cf62aedf58dc032b06)
@@ -73,4 +73,6 @@
 		return NULL;
 	}
+	/* TODO... */
+	spinlock_unlock(&phone->lock);
 	return phone;
 }
Index: generic/src/proc/thread.c
===================================================================
--- generic/src/proc/thread.c	(revision 8eb36b02a8608e77dfda8c423adf25770f567041)
+++ generic/src/proc/thread.c	(revision 81c4c6dada72dd5c14ac33cf62aedf58dc032b06)
@@ -190,4 +190,5 @@
 		cpu = t->cpu;
 	}
+	t->state = Ready;
 	spinlock_unlock(&t->lock);