+#define MM_USER_MIN 0x00000000##00010000
+#define USER_LIB_MAX 0x00008000##00000000
+#define USER_STACK_SZ 0x00000000##00020000 // 64 KiB
+#define USER_STACK_TOP 0x00008FFF##FFFFF000
+#define MM_USER_MAX 0x00008FFF##FFFFF000
+//#define KERNEL_BASE 0xFFF8000##00000000
+#define MM_KHEAP_BASE (KERNEL_BASE|(0x8000##80000000))
+#define MM_KHEAP_MAX (KERNEL_BASE|(0x8001##00000000))
+#define MM_MODULE_MIN (KERNEL_BASE|(0x9000##00000000))
+#define MM_MODULE_MAX (KERNEL_BASE|(0x9800##00000000))
+#define MM_KERNEL_VFS (KERNEL_BASE|(0x9800##00000000))
+#define MM_KSTACK_BASE (KERNEL_BASE|(0xA000##00000000))
+#define MM_KSTACK_TOP (KERNEL_BASE|(0xC000##00000000))
+
+#define MM_HWMAP_BASE (KERNEL_BASE|(0xD000##00000000))
+#define MM_HWMAP_TOP (KERNEL_BASE|(0xE000##00000000))
+#define MM_PPD_BASE (KERNEL_BASE|(0xE000##00000000))
+#define MM_PPD_CFG MM_PPD_BASE
+#define MM_PPD_VFS (KERNEL_BASE|(0xE008##00000000))
+#define MM_USER_CODE (KERNEL_BASE|(0xE080##00000000))
+
+#define MM_LOCALAPIC (KERNEL_BASE|(0xFD00##00000000))
+#define MM_FRACTAL_BASE (KERNEL_BASE|(0xFE00##00000000))
+#define MM_TMPFRAC_BASE (KERNEL_BASE|(0xFE80##00000000))
+
+
+// === FUNCTIONS ===
+void MM_FinishVirtualInit(void);
+tVAddr MM_NewKStack(void);
+tVAddr MM_Clone(void);
+tVAddr MM_NewWorkerStack(void);