test2

Revision:
0:c9dd27c3919d
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/TUTK_output.cpp	Wed Jun 08 03:30:57 2016 +0000
@@ -0,0 +1,16 @@
+#include "TUTK_output.h" 
+#include "rtos.h"
+#include "mbed.h"
+#include "cmsis_os.h"
+
+extern Serial pc; 
+
+void dump(const char* out){
+    pc.printf("\n\r%s\r\n",out);
+    }
+    
+void tutkcreatthread(void (*task)(void const *argument), void *argument,osPriority priority, uint32_t stack_size, unsigned char *stack_pointer){
+        Thread *thread;
+        new Thread(task,NULL,priority,stack_size,NULL);
+    
+    }    
\ No newline at end of file