fixed warp_sched lock bug

runtime/tests/simple/Makefile

@@ -23,7 +23,7 @@ VX_MAIN = vx_simple_main
 
 VX_SRCS = vx_simple_main.c tests.c
 
-all: HEX DUMP ELF
+all: HEX DUMP ELF BIN
 
 DUMP: ELF
 	$(DMP) -D $(VX_MAIN).elf > $(VX_MAIN).dump
@@ -31,5 +31,8 @@ DUMP: ELF
 HEX: ELF
 	$(CPY) -O ihex $(VX_MAIN).elf $(VX_MAIN).hex
 
+BIN: ELF
+	$(CPY) -O binary $(VX_MAIN).elf $(VX_MAIN).bin
+
 ELF: 
 	$(COMP) $(CC_FLAGS) $(VX_STR) $(VX_FIO) $(NEWLIB) $(VX_INT) $(VX_IO) $(VX_API) $(VX_SRCS) $(LIBS) -Iinclude  -o $(VX_MAIN).elf

runtime/tests/simple/vx_simple_main.c

@@ -50,7 +50,7 @@ void mat_add_kernel(void * void_arguments)
 
 int main()
 {
-	/*// ensure single thread
+	// ensure single thread
 	vx_tmc(1);
 
 	vx_print_str("Let's start... (This might take a while)\n");
@@ -87,7 +87,7 @@ int main()
 	vx_print_str("Simple Main\n");
 
 	// TMC test
-	test_tmc();*/
+	test_tmc();
 
 	// Control Divergence Test
 	vx_print_str("test_divergence\n");
@@ -95,7 +95,6 @@ int main()
 	test_divergence();
 	vx_tmc(1);
 
-/*
 	// Test wspawn
 	vx_print_str("test_wspawn\n");
 	test_wsapwn();
@@ -143,7 +142,7 @@ int main()
 			vx_print_str(" ");
 		}
 		vx_print_str("\n");
-	}*/
+	}
 
 	return 0;
 }