#\r
-# Copyright (c) 2011, ARM Limited. All rights reserved.\r
+# Copyright (c) 2011-2014, ARM Limited. All rights reserved.\r
# \r
# This program and the accompanying materials \r
# are licensed and made available under the terms and conditions of the BSD License \r
#\r
INF ArmPkg/Filesystem/SemihostFs/SemihostFs.inf\r
\r
+ #\r
+ # Versatile Express FileSystem\r
+ #\r
+ INF ArmPlatformPkg/FileSystem/BootMonFs/BootMonFs.inf\r
+\r
#\r
# FAT filesystem + GPT/MBR partitioning\r
#\r
#\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