INF MdeModulePkg/Core/Dxe/DxeMain.inf\r
INF MdeModulePkg/Universal/PCD/Dxe/Pcd.inf\r
INF ArmVirtPkg/VirtFdtDxe/VirtFdtDxe.inf\r
+ INF ArmVirtPkg/HighMemDxe/HighMemDxe.inf\r
\r
#\r
# PI DXE Drivers producing Architectural Protocols (EFI Services)\r
INF MdeModulePkg/Universal/Console/ConSplitterDxe/ConSplitterDxe.inf\r
INF MdeModulePkg/Universal/Console/GraphicsConsoleDxe/GraphicsConsoleDxe.inf\r
INF MdeModulePkg/Universal/Console/TerminalDxe/TerminalDxe.inf\r
- INF EmbeddedPkg/SerialDxe/SerialDxe.inf\r
+ INF MdeModulePkg/Universal/SerialDxe/SerialDxe.inf\r
\r
INF ArmPkg/Drivers/ArmGic/ArmGicDxe.inf\r
INF ArmPkg/Drivers/TimerDxe/TimerDxe.inf\r