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