Rob Bradford 83066cf58e vmm: Set a default maximum physical address size ... When using PVH for booting (which we use for all firmwares and direct kernel boot) the Linux kernel does not configure LA57 correctly. As such we need to limit the address space to the maximum 4-level paging address space. If the user knows that their guest image can take advantage of the 5-level addressing and they need it for their workload then they can increase the physical address space appropriately. This PR removes the TDX specific handling as the new address space limit is below the one that that code specified. Signed-off-by: Rob Bradford <robert.bradford@intel.com>		2021-10-01 08:59:15 -07:00
..
bin	ch-remote: Add "add-user-device" subcommand	2021-08-12 13:19:04 +01:00
main.rs	vmm: Set a default maximum physical address size	2021-10-01 08:59:15 -07:00