#include "kern/syscall.h" #include "kern/log.h" void kern_logs(const char* str) { klogf("[Log] - %s", str); }