diff --git a/zion/memory/kernel_vmm.cpp b/zion/memory/kernel_vmm.cpp
index 2f4fe32..e7c99b4 100644
--- a/zion/memory/kernel_vmm.cpp
+++ b/zion/memory/kernel_vmm.cpp
@@ -25,6 +25,10 @@ uint64_t KernelVmm::AcquireKernelStack() {
   return gKernelVmm->stack_manager_->AllocateKernelStack();
 }
 
+void KernelVmm::FreeKernelStack(uint64_t stack_addr) {
+  return gKernelVmm->stack_manager_->FreeKernelStack(stack_addr);
+}
+
 uint64_t KernelVmm::AcquireSlabHeapRegionInternal(uint64_t slab_size_bytes) {
   uint64_t next_slab = next_slab_heap_page_;
   if (next_slab >= kKernelBuddyHeapEnd) {