paging is now enabled with __shaky__ code

kernel/include/kernel/paging.h

@@ -1,3 +1,16 @@
-typedef struct {
+#include <stdint.h>
 
-} pageframe_t;
+#ifndef ARCH_PAGING_H
+#define ARCH_PAGING_H
+
+#define PAGE_TABLE_ENTRIES 1024
+#define PAGE_DIRECTORY_ENTRIES 1024
+
+void load_page_directory(uint32_t*);
+
+void enable_paging();
+
+
+void setup_paging(void);
+
+#endif