FlexAlloc: Dynamic Memory Partitioning for SeKVM
Rakesh Recharla · 2025
We present FlexAlloc, a dynamic memory partitioning system designed to enhance the memory management capabilities of SeKVM. By allowing the hostvisor to allocate memory to the corevisor dynamically, FlexAlloc eliminates the need for static memory allocation for VM stage-2 page tables. This adaptive approach significantly reduces memory wastage and increases the number of supported VMs. Our evaluation shows that FlexAlloc effectively handles up to 7054 successful 1M page allocations. Despite some shortcomings, including the lack of formal verification and the need for memory zeroing, FlexAlloc represents a significant improvement in resource efficiency for SeKVM. Future work will focus on strengthening security guarantees and extending dynamic memory allocation.