1 2 3 4 5 6 7 8 9 10
#include <debug.h> #include <syscall.h> void dbg_print(const char* str) { // TODO } void yield() { // TODO }