[Packages]\r
MdePkg/MdePkg.dec\r
MdeModulePkg/MdeModulePkg.dec\r
+ UefiCpuPkg/UefiCpuPkg.dec\r
OvmfPkg/OvmfPkg.dec\r
\r
[LibraryClasses]\r
UefiBootServicesTableLib\r
UefiDriverEntryPoint\r
UefiRuntimeLib\r
+ VmgExitLib\r
\r
[Guids]\r
gEfiEventVirtualAddressChangeGuid # ALWAYS_CONSUMED\r