\r
ArmPlatformSysConfigLib|ArmPlatformPkg/ArmVExpressPkg/Library/ArmVExpressSysConfigLib/ArmVExpressSysConfigLib.inf\r
NorFlashPlatformLib|ArmPlatformPkg/ArmVExpressPkg/Library/NorFlashArmVExpressLib/NorFlashArmVExpressLib.inf\r
-!ifndef ARM_FOUNDATION_FVP\r
LcdPlatformLib|ArmPlatformPkg/ArmVExpressPkg/Library/PL111LcdArmVExpressLib/PL111LcdArmVExpressLib.inf\r
-!endif\r
\r
TimerLib|ArmPkg/Library/ArmArchTimerLib/ArmArchTimerLib.inf\r
\r
gArmPlatformTokenSpaceGuid.PcdFirmwareVendor|"ARM Fixed Virtual Platform"\r
gEmbeddedTokenSpaceGuid.PcdEmbeddedPrompt|"ARM-FVP"\r
\r
-!ifndef ARM_FOUNDATION_FVP\r
# Up to 8 cores on Base models. This works fine if model happens to have less.\r
gArmPlatformTokenSpaceGuid.PcdCoreCount|8\r
gArmPlatformTokenSpaceGuid.PcdClusterCount|2\r
-!else\r
- # Up to 4 cores on Foundation models. This works fine if model happens to have less.\r
- gArmPlatformTokenSpaceGuid.PcdCoreCount|4\r
-!endif\r
\r
#\r
# NV Storage PCDs. Use base of 0x0C000000 for NOR1\r
## PL031 RealTimeClock\r
gArmPlatformTokenSpaceGuid.PcdPL031RtcBase|0x1C170000\r
\r
-!ifndef ARM_FOUNDATION_FVP\r
## PL111 Versatile Express Motherboard controller\r
gArmPlatformTokenSpaceGuid.PcdPL111LcdBase|0x1C1F0000\r
\r
## PL180 MMC/SD card controller\r
gArmPlatformTokenSpaceGuid.PcdPL180SysMciRegAddress|0x1C010048\r
gArmPlatformTokenSpaceGuid.PcdPL180MciBaseAddress|0x1C050000\r
-!endif\r
\r
#\r
# ARM General Interrupt Controller\r
ArmPkg/Drivers/ArmGic/ArmGicDxe.inf\r
ArmPlatformPkg/Drivers/NorFlashDxe/NorFlashDxe.inf\r
ArmPkg/Drivers/TimerDxe/TimerDxe.inf\r
-!ifndef ARM_FOUNDATION_FVP\r
ArmPlatformPkg/Drivers/LcdGraphicsOutputDxe/PL111LcdGraphicsOutputDxe.inf\r
-!endif\r
ArmPlatformPkg/Drivers/SP805WatchdogDxe/SP805WatchdogDxe.inf\r
\r
#\r
#\r
ArmPkg/Filesystem/SemihostFs/SemihostFs.inf\r
\r
-!ifndef ARM_FOUNDATION_FVP\r
#\r
# Multimedia Card Interface\r
#\r
EmbeddedPkg/Universal/MmcDxe/MmcDxe.inf\r
ArmPlatformPkg/Drivers/PL180MciDxe/PL180MciDxe.inf\r
-!endif\r
\r
#\r
# Platform Driver\r
INF ArmPkg/Drivers/ArmGic/ArmGicDxe.inf\r
INF ArmPkg/Drivers/TimerDxe/TimerDxe.inf\r
INF ArmPlatformPkg/Drivers/NorFlashDxe/NorFlashDxe.inf\r
-!ifndef ARM_FOUNDATION_FVP\r
INF ArmPlatformPkg/Drivers/LcdGraphicsOutputDxe/PL111LcdGraphicsOutputDxe.inf\r
-!endif\r
INF ArmPlatformPkg/Drivers/SP805WatchdogDxe/SP805WatchdogDxe.inf\r
\r
#\r
INF FatBinPkg/EnhancedFatDxe/Fat.inf\r
INF MdeModulePkg/Universal/Disk/UnicodeCollation/EnglishDxe/EnglishDxe.inf\r
\r
-!ifndef ARM_FOUNDATION_FVP\r
#\r
# Multimedia Card Interface\r
#\r
INF EmbeddedPkg/Universal/MmcDxe/MmcDxe.inf\r
INF ArmPlatformPkg/Drivers/PL180MciDxe/PL180MciDxe.inf\r
-!endif\r
\r
#\r
# Platform Driver\r
# Add support for GCC stack protector\r
NULL|MdePkg/Library/BaseStackCheckLib/BaseStackCheckLib.inf\r
\r
+!if $(SECURE_BOOT_ENABLE) == TRUE\r
+ # OpenSSL requires floating point for the RNG code\r
+ NULL|StdLib/LibC/Softfloat/Softfloat.inf\r
+!endif\r
+\r
[LibraryClasses.AARCH64]\r
NULL|ArmPkg/Library/CompilerIntrinsicsLib/CompilerIntrinsicsLib.inf\r
\r