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
..
Application/LinuxLoader	ArmPkg/LinuxLoader: Remove unused DebugLib (Minor change)	2012-03-26 10:52:31 +00:00
Drivers	ArmPlatformPkg/Sec: Allowed the Secondary Cores to set the Secure/Non Secure bits to their PPIs	2012-03-26 11:03:36 +00:00
Filesystem/SemihostFs	Update the copyright notice format	2010-04-29 12:15:47 +00:00
Include	ArmPlatformPkg/Sec: Allowed the Secondary Cores to set the Secure/Non Secure bits to their PPIs	2012-03-26 11:03:36 +00:00
Library	ArmLib/ArmV7: Add ISB to ArmEnableVFP	2012-03-26 11:01:21 +00:00
ArmPkg.dec	ArmPkg: Declared ARM Hypervisor Firmware PCDs	2012-03-26 10:57:11 +00:00
ArmPkg.dsc	ArmPlatformPkg: Moved 'ArmTrustZoneLib' from ArmPkg/Library to ArmPlatformPkg/Drivers	2012-02-28 17:16:58 +00:00