Bootstrap the project

For now the base layout has been defined and we have a binary that is
properly reached through openSBI.

Signed-off-by: Miquel Sabaté Solà <mikisabate@gmail.com>

1 files changed, 12 insertions, 0 deletions

diff --git a/kernel/main.c b/kernel/main.c
new file mode 100644
index 0000000..325f858
--- /dev/null
+++ b/kernel/main.c
@@ -0,0 +1,12 @@
+#include <fbos/init.h>
+
+/*
+ * This is the main entry point of the kernel after head.S is done. This
+ * function can (and will) assume that everything has been reset and that we can
+ * start the whole thing.
+ */
+__noreturn __kernel void start_kernel(void)
+{
+	for (;;)
+		;
+}