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
..
ArmCpuLib	ArmPkg/ArmCpuLib: Fix GCC/XCode builds	2011-11-01 23:32:04 +00:00
CpuDxe	ArmPkg: Changed ARM CPU SetMemoryAttributes to always use strongly ordered for the EFI_MEMORY_UC attribute	2012-02-14 15:54:05 +00:00
CpuPei	ArmPkg: Create MpCoreInfo PPI and HOB to describe CPU Cores on a MPCore platform	2011-09-22 23:14:01 +00:00
PL390Gic	ArmPlatformPkg/Sec: Allowed the Secondary Cores to set the Secure/Non Secure bits to their PPIs	2012-03-26 11:03:36 +00:00
TimerDxe	ArmPlatformPkg: Minor code changes (comments, misspellings, coding stylei, line endings)	2012-02-28 17:11:42 +00:00