INF ArmPlatformPkg/ArmVExpressPkg/ArmVExpressDxe/ArmFvpDxe.inf\r
INF OvmfPkg/VirtioBlkDxe/VirtioBlk.inf\r
\r
- #\r
- # FDT installation\r
- #\r
- INF EmbeddedPkg/Drivers/FdtPlatformDxe/FdtPlatformDxe.inf\r
-\r
#\r
# UEFI application (Shell Embedded Boot Loader)\r
#\r
# FV Filesystem\r
INF MdeModulePkg/Universal/FvSimpleFileSystemDxe/FvSimpleFileSystemDxe.inf\r
\r
+ #\r
+ # FDT installation\r
+ #\r
+ # The UEFI driver is at the end of the list of the driver to be dispatched\r
+ # after the device drivers (eg: Ethernet) to ensure we have support for them.\r
+ INF EmbeddedPkg/Drivers/FdtPlatformDxe/FdtPlatformDxe.inf\r
+\r
# Example to add a Device Tree to the Firmware Volume\r
#FILE FREEFORM = PCD(gArmVExpressTokenSpaceGuid.PcdFdtVExpressFvpA15x4) {\r
# SECTION RAW = ArmPlatformPkg/ArmVExpressPkg/Fdts/rtsm_ve-ca15x4.dtb\r