Kernel Logging

Drivers and other kernel components may write log messages to the default output (currently only VGA since it is the only display target implemented) using kprintf in include/kernel/log.h. Additional defines in the same file may help differentiate different types of log messages (i.e. errors, debug information, etc).

kprintf(OKAY "Something succeeded\n");
kprintf(ERROR "Something failed :(\n");
// etc, see log.h for details