1 2 3 4 5 6 7 8 9 10 11 12 13 14
#include <stdbool.h> #include <string.h> #include <syscall.h> #include <debug.h> int main(int argc, char **argv) { dbg_print("Hello, world! from user process.\n"); return 0; } /* vim: set ts=4 sw=4 tw=0 noet :*/