Remove directory cloning, add spawn() based multitasking stub
diff --git a/src/kernel/paging.h b/src/kernel/paging.h
index d7121a6..045b872 100644
--- a/src/kernel/paging.h
+++ b/src/kernel/paging.h
@@ -11,9 +11,12 @@
/* defined in switch_table.s */
extern uint load_page_directory(uint table_address);
extern void enable_paging();
+extern uint kernel_page_directory[1024];
void init_paging();
+void map_page_to(uint *dir, void *virt, void *frame_p, bool writable, bool user);
void alloc_frame(uint *page_table_entry, bool user, bool writable);
+void alloc_page(uint *dir, uint *page);
void alloc_kernel_page(uint *page);
void page_fault(struct registers *regs);