system76-edk2

Files

oliviermartin 5e7731443c ArmPlatformPkg/Sec: Allowed the Secondary Cores to set the Secure/Non Secure bits to their PPIs

The GICD_IGROUPR0 is banked for each connected processor. It means the
Non-Secure bits for the PPIs (Private Peripheral Interrupts) must be
configured for every processor.



git-svn-id: https://edk2.svn.sourceforge.net/svnroot/edk2/trunk/edk2@13135 6f19259b-4bc3-4df7-8a09-765794883524

2012-03-26 11:03:36 +00:00

Chipset

ArmPkg: Add ARM Architectural Timer support

2011-09-27 16:35:16 +00:00

Guid

ArmPkg: Create MpCoreInfo PPI and HOB to describe CPU Cores on a MPCore platform

2011-09-22 23:14:01 +00:00

Library

ArmPlatformPkg/Sec: Allowed the Secondary Cores to set the Secure/Non Secure bits to their PPIs

2012-03-26 11:03:36 +00:00

Ppi

ArmPkg: Create MpCoreInfo PPI and HOB to describe CPU Cores on a MPCore platform