#include #include #include #include void begin_userspace() { // read __asm__ __volatile__ ("mov $0x0, %rax; syscall;"); // write __asm__ __volatile__ ("mov $0x1, %rax; syscall;"); while(true) { } }