basic boot module support

This loads a file from the boot disk into memory. Currently it just gets
printed, but it's going to become a real executable soon.

1 files changed, 9 insertions, 1 deletions

diff --git a/src/kernel/main.h b/src/kernel/main.h
index 6f27386..f7f5f04 100644
--- a/src/kernel/main.h
+++ b/src/kernel/main.h
@@ -1,3 +1,11 @@
 #pragma once
+#include <stddef.h>
 
-void kmain();
+struct kmain_info {
+	struct {
+		void *at;    // page aligned
+		size_t size;
+	} init; // a boot module loaded by GRUB, containing the initrd driver
+};
+
+void kmain(struct kmain_info);