#\r
INF EmbeddedPkg/Universal/MmcDxe/MmcDxe.inf\r
INF ArmPlatformPkg/Drivers/PL180MciDxe/PL180MciDxe.inf\r
- \r
+
+ #
+ # Platform Driver
+ #
+ INF ArmPlatformPkg/ArmVExpressPkg/ArmVExpressDxe/ArmFvpDxe.inf
+ INF OvmfPkg/VirtioBlkDxe/VirtioBlk.inf
+
#\r
# UEFI application (Shell Embedded Boot Loader)\r
#\r