1 #include <u.h> 2 #include <libc.h> 3 #include <thread.h> 4 5 void 6 threadmain(int argc, char **argv) 7 { 8 print("hello, world\n"); 9 } 10