Porting PVM to Linux 7.2

The original PVM kernel tree was based on Linux 6.12.x, while current Linux master had reached 7.2-rc7. This note records the commands I used to build, package, and boot the forward port. The resulting tree is available in the pvm-720 branch . PVM in four lines PVM (Pagetable-based Virtual Machine) is a KVM guest hypervisor designed for running nested workloads without requiring VMX or SVM.…