#include <debug.h>
#include <syscall.h>

void dbg_print(const char* str) {
	// TODO
}

void yield() {
	// TODO
}