#include <u.h> #include <libc.h> #include <thread.h> void threadmain(int argc, char **argv) { print("hello, world\n"); }