+#define VGA_FRAMEBUFFER 0xB8000
+
+#define KCODE_SEG 0x08
+#define KDATA_SEG 0x10
+
+#define KSIZE (MEM_4MB * 16)
+
+#define USTACK_SIZE MEM_4MB
+#define USTACK_TOP 0x9ffffff0
+#define USTACK_END (0x9fffffff - USTACK_SIZE + 1)
+#define UMMAP_START 0x4D000000
+#define UMMAP_END (USTACK_END - MEM_4MB)