INF MdeModulePkg/Universal/Console/TerminalDxe/TerminalDxe.inf\r
INF EmbeddedPkg/SerialDxe/SerialDxe.inf\r
\r
- INF ArmPkg/Drivers/PL390Gic/PL390GicDxe.inf\r
+ INF ArmPkg/Drivers/ArmGic/ArmGicDxe.inf\r
INF ArmPkg/Drivers/TimerDxe/TimerDxe.inf\r
INF MdeModulePkg/Universal/WatchdogTimerDxe/WatchdogTimer.inf\r
\r
INF FatBinPkg/EnhancedFatDxe/Fat.inf\r
INF MdeModulePkg/Universal/Disk/UnicodeCollation/EnglishDxe/EnglishDxe.inf\r
\r
+ #\r
+ # Platform Driver\r
+ #\r
+ INF ArmPlatformPkg/ArmVExpressPkg/ArmFvpDxe/ArmFvpDxe.inf\r
+ INF OvmfPkg/VirtioBlkDxe/VirtioBlk.inf\r
+\r
#\r
# UEFI application (Shell Embedded Boot Loader)\r
#\r