ArmVirtPkg: HighMemDxe: add memory space for the high memory nodes
[mirror_edk2.git] / ArmVirtPkg / ArmVirtQemu.dsc
index b0d1d08..e6440ec 100644 (file)
   # Platform Driver\r
   #\r
   ArmVirtPkg/VirtFdtDxe/VirtFdtDxe.inf\r
+  ArmVirtPkg/HighMemDxe/HighMemDxe.inf\r
   OvmfPkg/VirtioBlkDxe/VirtioBlk.inf\r
   OvmfPkg/VirtioScsiDxe/VirtioScsi.inf\r
   OvmfPkg/VirtioNetDxe/VirtioNet.inf\r