#\r
-# Copyright (c) 2011-2013, ARM Limited. All rights reserved.\r
+# Copyright (c) 2011-2015, 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
ArmCpuLib|ArmPkg/Drivers/ArmCpuLib/ArmCortexAEMv8Lib/ArmCortexAEMv8Lib.inf\r
ArmPlatformLib|ArmPlatformPkg/ArmVExpressPkg/Library/ArmVExpressLibRTSM/ArmVExpressFoundationLib.inf\r
\r
+ # Virtio Support\r
+ VirtioLib|OvmfPkg/Library/VirtioLib/VirtioLib.inf\r
+ VirtioMmioDeviceLib|OvmfPkg/Library/VirtioMmioDeviceLib/VirtioMmioDeviceLib.inf\r
+\r
ArmPlatformSysConfigLib|ArmPlatformPkg/ArmVExpressPkg/Library/ArmVExpressSysConfigLib/ArmVExpressSysConfigLib.inf\r
\r
TimerLib|ArmPkg/Library/ArmArchTimerLib/ArmArchTimerLib.inf\r
ArmPlatformSecLib|ArmPlatformPkg/ArmVExpressPkg/Library/ArmVExpressSecLibRTSM/ArmVExpressFoundationSecLib.inf\r
ArmPlatformLib|ArmPlatformPkg/ArmVExpressPkg/Library/ArmVExpressLibRTSM/ArmVExpressFoundationLibSec.inf\r
\r
+[LibraryClasses.common.UEFI_DRIVER, LibraryClasses.common.UEFI_APPLICATION, LibraryClasses.common.DXE_RUNTIME_DRIVER, LibraryClasses.common.DXE_DRIVER]\r
+ PcdLib|MdePkg/Library/DxePcdLib/DxePcdLib.inf\r
+\r
[BuildOptions]\r
GCC:*_*_AARCH64_PLATFORM_FLAGS == -I$(WORKSPACE)/ArmPlatformPkg/ArmVExpressPkg/Include -I$(WORKSPACE)/ArmPlatformPkg/ArmVExpressPkg/Include/Platform/RTSM\r
\r
# It could be set FALSE to save size.\r
gEfiMdeModulePkgTokenSpaceGuid.PcdConOutGopSupport|FALSE\r
\r
+ #\r
+ # FDT installation : enable the development specific features\r
+ #\r
+ gEmbeddedTokenSpaceGuid.PcdOverridePlatformFdt|TRUE\r
+\r
[PcdsFixedAtBuild.common]\r
gArmPlatformTokenSpaceGuid.PcdFirmwareVendor|"ARM Foundation Model"\r
gEmbeddedTokenSpaceGuid.PcdEmbeddedPrompt|"ArmFoundation"\r
gArmPlatformTokenSpaceGuid.PcdDefaultConInPaths|L"VenHw(D3987D4B-971A-435F-8CAF-4967EB627241)/Uart(38400,8,N,1)/VenPcAnsi()"\r
\r
#\r
- # ARM Architectual Timer Frequency\r
+ # ARM Architectural Timer Frequency\r
#\r
- # Set model tick to 120Mhz. This depends a lot on workstation performance.\r
- gArmTokenSpaceGuid.PcdArmArchTimerFreqInHz|120000000\r
+ # Set model tick to 100Mhz. This depends a lot on workstation performance.\r
+ gArmTokenSpaceGuid.PcdArmArchTimerFreqInHz|100000000\r
+\r
+[PcdsDynamicDefault.common]\r
+ #\r
+ # The size of a dynamic PCD of the (VOID*) type can not be increased at run\r
+ # time from its size at build time. Set the "PcdFdtDevicePaths" PCD to a 128\r
+ # character "empty" string, to allow to be able to set FDT text device paths\r
+ # up to 128 characters long.\r
+ #\r
+ gEmbeddedTokenSpaceGuid.PcdFdtDevicePaths|L" "\r
\r
################################################################################\r
#\r
ArmPkg/Filesystem/SemihostFs/SemihostFs.inf\r
\r
#\r
- # Platform Driver
- #
- ArmPlatformPkg/ArmVExpressPkg/ArmFvpDxe/ArmFvpDxe.inf
-
- #
+ # Platform Driver\r
+ #\r
+ ArmPlatformPkg/ArmVExpressPkg/ArmVExpressDxe/ArmFvpDxe.inf\r
+ OvmfPkg/VirtioBlkDxe/VirtioBlk.inf\r
+\r
+ #\r
# FAT filesystem + GPT/MBR partitioning\r
#\r
MdeModulePkg/Universal/Disk/DiskIoDxe/DiskIoDxe.inf\r