diff --git a/memory/memory.c b/memory/memory.c
index ee97104..e822b6c 100644
--- a/memory/memory.c
+++ b/memory/memory.c
@@ -7,6 +7,8 @@
 #include <string.h>
 
 
+uint64_t memory_KernelMappingBottom = KERNEL_MISC_MAPPING;
+
 void *efiMallocTyped(size_t size, EFI_MEMORY_TYPE type) {
 	void *data;
 	efiBootServices->AllocatePool(type, size, &data);
diff --git a/memory/memory.h b/memory/memory.h
index 9af73ea..a4df4c6 100644
--- a/memory/memory.h
+++ b/memory/memory.h
@@ -25,6 +25,17 @@ extern "C" {
 
 #define KERNEL_MISC_SIZE (KERNEL_IDT_SIZE + KERNEL_GDT_SIZE) // add all the misc sizes
 
+#define KERNEL_MAPPING_BOTTOM (KERNEL_MISC_MAPPING) // bottom of the static kernel mapping range
+extern uint64_t memory_KernelMappingBottom;
+
+// Allocates a new region for memory mapping in the kernel memory range
+// align must be a exponent of 2
+static inline uint64_t memory_AllocateKernelMapping(uint64_t size, uint64_t align) {
+	memory_KernelMappingBottom -= size;
+	memory_KernelMappingBottom &= ~(align - 1);
+	return memory_KernelMappingBottom;
+}
+
 
 extern uint64_t        paging_LoaderCodeAddress, paging_LoaderCodeSize; // physical address for loader code section
 static inline uint64_t paging_MapFunction(void *func) {