Fix GCC build error.

[mirror_edk2.git] / ArmPlatformPkg / ArmVExpressPkg / ArmVExpress-RTSM-AEMv8Ax4.dsc

diff --git a/ArmPlatformPkg/ArmVExpressPkg/ArmVExpress-RTSM-AEMv8Ax4.dsc b/ArmPlatformPkg/ArmVExpressPkg/ArmVExpress-RTSM-AEMv8Ax4.dsc
index 6b3f5203d6b0be74e1f7aba5f7045c770575da64..b2ffd37d730a1ef3ec6ddae61457c9ff9a37e9bf 100644 (file)
--- a/ArmPlatformPkg/ArmVExpressPkg/ArmVExpress-RTSM-AEMv8Ax4.dsc
+++ b/ArmPlatformPkg/ArmVExpressPkg/ArmVExpress-RTSM-AEMv8Ax4.dsc
@@ -60,16 +60,19 @@
 ################################################################################\r
 \r
 [PcdsFeatureFlag.common]\r
-\r
 !ifdef $(EDK2_SKIP_PEICORE)\r
   gArmPlatformTokenSpaceGuid.PcdSystemMemoryInitializeInSec|TRUE\r
   gArmPlatformTokenSpaceGuid.PcdSendSgiToBringUpSecondaryCores|TRUE\r
 !endif\r
- \r
+\r
   ## If TRUE, Graphics Output Protocol will be installed on virtual handle created by ConsplitterDxe.\r
   #  It could be set FALSE to save size.\r
   gEfiMdeModulePkgTokenSpaceGuid.PcdConOutGopSupport|TRUE\r
- \r
+\r
+  # UEFI firmware is responsible to park the secondary cores on this platform.\r
+  # This PCD ensures the secondary cores are parked into the AArch64 Linux parking protocol.\r
+  gArmTokenSpaceGuid.PcdArmLinuxSpinTable|TRUE\r
+\r
 [PcdsFixedAtBuild.common]\r
   gArmPlatformTokenSpaceGuid.PcdFirmwareVendor|"ARM Versatile Express"\r
   gEmbeddedTokenSpaceGuid.PcdEmbeddedPrompt|"ArmVExpress-RTSM"\r
@@ -113,7 +116,7 @@
 \r
   ## Trustzone enable (to make the transition from EL3 to EL2 in ArmPlatformPkg/Sec)\r
   gArmTokenSpaceGuid.PcdTrustzoneSupport|TRUE\r
- \r
+\r
   #\r
   # ARM PrimeCell\r
   #\r
@@ -135,7 +138,7 @@
   ## PL180 MMC/SD card controller\r
   gArmPlatformTokenSpaceGuid.PcdPL180SysMciRegAddress|0x1C010048\r
   gArmPlatformTokenSpaceGuid.PcdPL180MciBaseAddress|0x1C050000\r
- \r
+\r
   #\r
   # ARM General Interrupt Controller\r
   #\r
@@ -177,7 +180,7 @@
       # Use the implementation which set the Secure bits\r
       ArmGicLib|ArmPkg/Drivers/ArmGic/ArmGicSecLib.inf\r
   }\r
- \r
+\r
   #\r
   # PEI Phase modules\r
   #\r
@@ -246,25 +249,25 @@
   ArmPkg/Drivers/TimerDxe/TimerDxe.inf\r
   ArmPlatformPkg/Drivers/LcdGraphicsOutputDxe/PL111LcdGraphicsOutputDxe.inf\r
   ArmPlatformPkg/Drivers/SP805WatchdogDxe/SP805WatchdogDxe.inf\r
- \r
+\r
   #\r
   # Semi-hosting filesystem\r
   #\r
   ArmPkg/Filesystem/SemihostFs/SemihostFs.inf\r
- \r
+\r
   #\r
   # Multimedia Card Interface\r
   #\r
   EmbeddedPkg/Universal/MmcDxe/MmcDxe.inf\r
   ArmPlatformPkg/Drivers/PL180MciDxe/PL180MciDxe.inf\r
- \r
+\r
+  #\r
+  # Platform Driver\r
+  #\r
+  ArmPlatformPkg/ArmVExpressPkg/ArmVExpressDxe/ArmFvpDxe.inf\r
+  OvmfPkg/VirtioBlkDxe/VirtioBlk.inf\r
+\r
   #\r
-  # Platform Driver
-  #
-  ArmPlatformPkg/ArmVExpressPkg/ArmVExpressDxe/ArmFvpDxe.inf
-  OvmfPkg/VirtioBlkDxe/VirtioBlk.inf
-
-  #
   # FAT filesystem + GPT/MBR partitioning\r
   #\r
   MdeModulePkg/Universal/Disk/DiskIoDxe/DiskIoDxe.inf\r