Olivier Martin a1cca63885 ArmPkg/PL390Gic: Populate the GIC Distributor Target Register with the GIC CPU ID retrieved from the GIC ... The GIC CPU Id (the GIC CPU interface the CPU is connected to) can be retrieved by reading the first registers of the GIC CPU Target Registers. The first GIC Distributor Target registers correspond to the SGIs. Contributed-under: TianoCore Contribution Agreement 1.0 Signed-off-by: Olivier Martin <olivier.martin@arm.com> git-svn-id: https://svn.code.sf.net/p/edk2/code/trunk/edk2@14479 6f19259b-4bc3-4df7-8a09-765794883524		2013-07-17 06:25:15 +00:00
..
Application/LinuxLoader	ArmPkg: Fixed unsigned type to be architecture independent	2013-03-12 00:50:46 +00:00
Drivers	ArmPkg/PL390Gic: Populate the GIC Distributor Target Register with the GIC CPU ID retrieved from the GIC	2013-07-17 06:25:15 +00:00
Filesystem/SemihostFs	ArmPkg/SemihostFs: Make the driver more compliant with the UEFI specification	2013-04-14 09:24:44 +00:00
Include	ArmPkg: Made ArmConfigureMmu() returns a status code	2013-06-27 18:16:06 +00:00
Library	ArmPkg/UncachedMemoryAllocationLib: Removed unused header (Protocol/Cpu.h)	2013-07-16 00:07:24 +00:00
ArmPkg.dec	ArmPkg: Moved PcdArmLinuxAtagMaxOffset to be ARM specific	2013-06-19 18:27:05 +00:00
ArmPkg.dsc	ArmPkg: Move ArmSmcLib from ArmPlatformLib to ArmPkg	2013-03-06 00:01:49 +00:00
Contributions.txt	EDK II Packages: Add Contributions.txt and License.txt files	2012-04-11 23:19:46 +00:00
License.txt	EDK II Packages: Added License.txt files	2012-04-12 16:40:32 +00:00