Fix CI, update docs
diff --git a/doc/logging.rst b/doc/logging.rst
new file mode 100644
index 0000000..fd43282
--- /dev/null
+++ b/doc/logging.rst
@@ -0,0 +1,12 @@
+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