GCC:*_*_ARM_PLATFORM_FLAGS == -march=armv7-a -mfpu=neon\r
GCC:RELEASE_*_*_CC_FLAGS = -DMDEPKG_NDEBUG\r
\r
- RVCT:*_*_ARM_PLATFORM_FLAGS == --cpu Cortex-A8\r
+ # We use A15 to get the Secure and Virtualization extensions\r
+ RVCT:*_*_ARM_PLATFORM_FLAGS == --cpu Cortex-A15\r
RVCT:RELEASE_*_*_CC_FLAGS = -DMDEPKG_NDEBUG\r
\r
[LibraryClasses.common]\r
\r
CpuLib|MdePkg/Library/BaseCpuLib/BaseCpuLib.inf\r
ArmGicLib|ArmPkg/Drivers/ArmGic/ArmGicLib.inf\r
+ ArmGenericTimerCounterLib|ArmPkg/Library/ArmGenericTimerPhyCounterLib/ArmGenericTimerPhyCounterLib.inf\r
ArmSmcLib|ArmPkg/Library/ArmSmcLib/ArmSmcLib.inf\r
ArmDisassemblerLib|ArmPkg/Library/ArmDisassemblerLib/ArmDisassemblerLib.inf\r
DmaLib|ArmPkg/Library/ArmDmaLib/ArmDmaLib.inf\r
ArmPkg/Library/SemiHostingSerialPortLib/SemiHostingSerialPortLib.inf\r
ArmPkg/Library/SemihostLib/SemihostLib.inf\r
ArmPkg/Library/UncachedMemoryAllocationLib/UncachedMemoryAllocationLib.inf\r
+ ArmPkg/Library/ArmPsciResetSystemLib/ArmPsciResetSystemLib.inf\r
\r
ArmPkg/Drivers/CpuDxe/CpuDxe.inf\r
ArmPkg/Drivers/CpuPei/CpuPei.inf\r
\r
ArmPkg/Library/ArmSmcLib/ArmSmcLib.inf\r
ArmPkg/Library/ArmSmcLibNull/ArmSmcLibNull.inf\r
+ ArmPkg/Library/ArmHvcLib/ArmHvcLib.inf\r
\r
ArmPkg/Filesystem/SemihostFs/SemihostFs.inf\r
\r