Add initial barebones kernel and cross compiler container image

src/kernel/kernel.c

@@ -0,0 +1,16 @@
+#include <stdbool.h>
+#include <stddef.h>
+#include <stdint.h>
+
+#include "libc.h"
+#include "tty.h"
+
+void kernel_main(void)
+{
+	terminal_clear();
+
+    for (size_t i = 0; i < 15; i++) {
+        printf(str_attach("hello {u32}!\n"), i);
+    }
+}
+