os: kern_init -> os_init.c

Signed-off-by: Ian Moffett <ian@osmora.org>

1 files changed, 0 insertions, 14 deletions

diff --git a/src/sys/os/kern_init.c b/src/sys/os/kern_init.c
deleted file mode 100644
index 2319dec..0000000
--- a/src/sys/os/kern_init.c
+++ /dev/null
@@ -1,14 +0,0 @@
-#include <sys/cdefs.h>
-#include <sys/cpuvar.h>
-
-struct pcore g_bsp;
-
-/*
- * Kernel entrypoint
- */
-__dead void
-main(void)
-{
-    cpu_conf(&g_bsp);
-    for (;;);
-}