main kernel startup, libc, console tty, asmops, build flags fixes

[bootcensus] / src / kmain.c

diff --git a/src/kmain.c b/src/kmain.c
new file mode 100644 (file)
index 0000000..f1533b2
--- /dev/null
+++ b/src/kmain.c
@@ -0,0 +1,11 @@
+#include <stdio.h>
+#include "contty.h"
+
+static int foo = 42;
+
+void pcboot_main(void)
+{
+       con_init();
+
+       printf("hello world: %d\n", foo);
+}