#\r
-# Copyright (c) 2011-2014, 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
ArmPlatformSecLib|ArmPlatformPkg/ArmVExpressPkg/Library/ArmVExpressSecLibRTSM/ArmVExpressSecLib.inf\r
ArmPlatformLib|ArmPlatformPkg/ArmVExpressPkg/Library/ArmVExpressLibRTSM/ArmVExpressLibSec.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|TRUE\r
\r
+ # Force the UEFI GIC driver to use GICv2 legacy mode. To use\r
+ # GICv3 without GICv2 legacy in UEFI, the ARM Trusted Firmware needs\r
+ # to configure the Non-Secure interrupts in the GIC Redistributors\r
+ # which is not supported at the moment.\r
+ gArmTokenSpaceGuid.PcdArmGicV3WithV2Legacy|TRUE\r
+ #\r
+ # FDT installation : enable the development specific features\r
+ #\r
+ gEmbeddedTokenSpaceGuid.PcdOverridePlatformFdt|TRUE\r
+\r
[PcdsFixedAtBuild.common]\r
gArmPlatformTokenSpaceGuid.PcdFirmwareVendor|"ARM Fixed Virtual Platform"\r
gEmbeddedTokenSpaceGuid.PcdEmbeddedPrompt|"ARM-FVP"\r
gArmTokenSpaceGuid.PcdGicInterruptInterfaceBase|0x2C002000\r
!else\r
gArmTokenSpaceGuid.PcdGicDistributorBase|0x2f000000\r
+ gArmTokenSpaceGuid.PcdGicRedistributorsBase|0x2f100000\r
gArmTokenSpaceGuid.PcdGicInterruptInterfaceBase|0x2C000000\r
!endif\r
\r
#\r
# ARM OS Loader\r
#\r
- # Versatile Express machine type (ARM VERSATILE EXPRESS = 2272) required for ARM Linux:\r
gArmPlatformTokenSpaceGuid.PcdDefaultBootDescription|L"Linux from SemiHosting"\r
gArmPlatformTokenSpaceGuid.PcdDefaultBootDevicePath|L"VenHw(C5B9C74A-6D72-4719-99AB-C59F199091EB)/Image"\r
gArmPlatformTokenSpaceGuid.PcdDefaultBootInitrdPath|L"VenHw(C5B9C74A-6D72-4719-99AB-C59F199091EB)/filesystem.cpio.gz"\r
- gArmPlatformTokenSpaceGuid.PcdDefaultBootArgument|"console=ttyAMA0 earlyprintk=pl011,0x1c090000 debug user_debug=31 loglevel=9"\r
- gArmPlatformTokenSpaceGuid.PcdDefaultBootType|2\r
- gArmPlatformTokenSpaceGuid.PcdFdtDevicePath|L"VenHw(C5B9C74A-6D72-4719-99AB-C59F199091EB)/fdt.dtb"\r
+ gArmPlatformTokenSpaceGuid.PcdDefaultBootArgument|L"console=ttyAMA0 earlycon=pl011,0x1c090000 debug user_debug=31 loglevel=9"\r
+ # Use EFI Stub\r
+ gArmPlatformTokenSpaceGuid.PcdDefaultBootType|0\r
\r
# Use the serial console (ConIn & ConOut) and the Graphic driver (ConOut)\r
gArmPlatformTokenSpaceGuid.PcdDefaultConOutPaths|L"VenHw(D3987D4B-971A-435F-8CAF-4967EB627241)/Uart(38400,8,N,1)/VenPcAnsi();VenHw(407B4008-BF5B-11DF-9547-CF16E0D72085)"\r
# Set tick frequency value to 100Mhz\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
# Components Section - list of all EDK II Modules needed by this Platform\r