#\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
#
# Platform Driver
#
- INF ArmPlatformPkg/ArmVExpressPkg/ArmFvpDxe/ArmFvpDxe.inf
+ INF ArmPlatformPkg/ArmVExpressPkg/ArmVExpressDxe/ArmFvpDxe.inf
INF OvmfPkg/VirtioBlkDxe/VirtioBlk.inf
#\r