Add kprintf()

include/kprintf.h

@@ -0,0 +1,6 @@
+#ifndef KPRINTF_H_
+#define KPRINTF_H_
+
+void kprintf(const char *fmt, ...);
+
+#endif // KPRINTF_H_

src/kmain.c

@@ -1,11 +1,9 @@
 #include <attribs.h>
+#include <kprintf.h>
 #include <types.h>
-#include <uart.h>
 
 noreturn void kmain(void) {
-    const char *s = "Hello, world!\n";
-    for (int i = 0; s[i] != '\0'; i++)
-        uart_putc(s[i]);
+    kprintf("%s, world!\n", "Hello");
 
     while (true)
         ;

src/kprintf.c

@@ -0,0 +1,34 @@
+#include <stdarg.h>
+
+#include <uart.h>
+
+void kprintf(const char *fmt, ...) {
+    va_list args;
+    va_start(args, fmt);
+
+    while (*fmt) {
+        if (*fmt != '%') {
+            uart_putc(*fmt);
+            fmt++;
+            continue;
+        }
+
+        fmt++;
+
+        switch (*fmt++) {
+        case 'c': {
+            char c = va_arg(args, int);
+            uart_putc(c);
+            break;
+        }
+        case 's': {
+            const char *s = va_arg(args, const char *);
+            for (; *s; s++)
+                uart_putc(*s);
+            break;
+        }
+        }
+    }
+
+    va_end(args);
+}