Implemented some basic libc functions and a text console

init/main.c

@@ -0,0 +1,14 @@
+#include <stdint.h>
+#include <socks/libc/stdio.h>
+#include <socks/init.h>
+#include <socks/console.h>
+#include <socks/machine/init.h>
+
+void kernel_init(uintptr_t arg)
+{
+	console_init();
+
+	for (int i = 0; i < 20; i++) {
+		printf("Line %d\n", i);
+	}
+}