On Tue, Sep 01, 2026 at 09:55:17AM -0700, Thara Gopinath wrote: > The VSM secure kernel runs in VTL1 and cannot use the normal Linux > kernel memory allocators — its memory must be reserved before the > general-purpose allocator takes ownership of the physical address space. > > Add hv_vsm_securekernel.c to handle this early boot reservation. The > driver parses a new "securekernel=<size>[K|M|G][@<addr>]" kernel command
We should add a prefix to it, unless you tell me there is a plan to extend this to other virtualization solutions. Wei

