move all kernel sources to src/kernel/

1 files changed, 17 insertions, 0 deletions

diff --git a/src/kernel/arch/generic.h b/src/kernel/arch/generic.h
new file mode 100644
index 0000000..17980fd
--- /dev/null
+++ b/src/kernel/arch/generic.h
@@ -0,0 +1,17 @@
+#pragma once
+
+#include <kernel/arch/log.h>
+
+// i have no idea where else to put it
+// some code assumes that it's a power of 2
+#define PAGE_SIZE 4096
+
+// src/arch/i386/boot.s
+extern void stack_top;
+
+__attribute__((noreturn))
+void halt_cpu();
+
+// src/arch/i386/sysenter.s
+void sysexit(void (*fun)(), void *stack_top);
+void sysenter_setup();