Index: /soft/giet_vm/giet_kernel/sys_handler.c
===================================================================
--- /soft/giet_vm/giet_kernel/sys_handler.c	(revision 819)
+++ /soft/giet_vm/giet_kernel/sys_handler.c	(revision 820)
@@ -1377,14 +1377,6 @@
 
     // get target thread state
-    unsigned int* pnorun = &psched->context[ltid].slot[CTX_NORUN_ID];
-
-    asm volatile ( "2000:                      \n"                         
-                   "move  $11,  %0             \n"   /* $11 <= pnorun        */
-                   "lw    $11,  0($11)         \n"   /* $11 <= norun         */
-                   "andi  $11,  $11,    1      \n"   /* $11 <= norun & 0x1   */
-                   "beqz  $11,  2000b          \n"   
-                   :
-                   : "r" (pnorun)
-                   : "$11" );
+    volatile unsigned int* pnorun = &psched->context[ltid].slot[CTX_NORUN_ID];
+    while (*pnorun == 0) _sys_pthread_yield();
 
 #if GIET_DEBUG_EXEC