path: root/kernel/util.h

void vga_cursor_hide(void);
void halt(void);