thermosphere: add in basic hypervisor skeleton

thermosphere/src/lib/printk.c

@@ -0,0 +1,25 @@
+/**
+ * Kernel print functions.
+ */
+
+#include "printk.h"
+
+#include "vsprintf.h"
+
+/**
+ * Temporary stand-in main printk.
+ *
+ * TODO: This should print via UART, console framebuffer, and to a ring for
+ * consumption by Horizon
+ */
+void printk(char *fmt, ...)
+{
+    va_list list;
+    char buf[512];
+    va_start(list, fmt);
+    vsnprintf(buf, sizeof(buf), fmt, list);
+
+    /* FIXME: print via UART */
+
+    va_end(list);
+}