move all kernel sources to src/kernel/

1 files changed, 0 insertions, 17 deletions

diff --git a/src/arch/generic.h b/src/arch/generic.h
deleted file mode 100644
index 4bed2fe..0000000
--- a/src/arch/generic.h
+++ /dev/null
@@ -1,17 +0,0 @@
-#pragma once
-
-#include <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();