#include <stdint.h>
#include <system/system.h>
#include <syscall/syscall.h>


void sys_debugprint(const char *string) {
  syscall(SYS_DEBUGPRINT, (uint64_t)string, 0, 0, 0, 0, 0);
}