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