Running in user mode

src/kernel/include/cpu.h

@@ -3,6 +3,8 @@
 
 void cpu_init();
 
+extern uint8_t tss[];
+void set_tss_rsp0(void *tss, void *rsp0);
 
 
 void load_idt(void *);

src/kernel/include/memory.h

@@ -18,6 +18,7 @@
 
 #define PAGE_PRESENT      0x001
 #define PAGE_WRITE        0x002
+#define PAGE_USER         0x004
 #define PAGE_HUGE         0x080
 #define PAGE_GLOBAL       0x100
 

src/kernel/include/process.h

@@ -2,6 +2,7 @@
 #include <queue.h>
 #include <scheduler.h>
 #include <stdint.h>
+#include <interrupts.h>
 
 struct process
 {