audk/ArmPkg
Olivier Martin b75d7605b4 ArmPkg/CpuDxe: Fixed calculation of the Page Table Index (Level 2 Descriptor)
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@14617 6f19259b-4bc3-4df7-8a09-765794883524
2013-09-02 13:12:17 +00:00
..
Application/LinuxLoader ArmPkg: Fixed unsigned type to be architecture independent 2013-03-12 00:50:46 +00:00
Drivers ArmPkg/CpuDxe: Fixed calculation of the Page Table Index (Level 2 Descriptor) 2013-09-02 13:12:17 +00:00
Filesystem/SemihostFs ArmPkg: Added Aarch64 support 2013-07-18 18:07:46 +00:00
Include ArmPkg/ArmGicLib.h: Added macro to retrieve the information from the ICCIDR 2013-08-21 12:08:06 +00:00
Library ArmPkg/ArmLib: Change comment to match code for setting of V bit in SCTLR register. 2013-09-02 09:10:17 +00:00
ArmPkg.dec ArmPlatformPkg/Sec: Remove SCR and CPTR initialization from SetupExceptionLevel3 2013-08-21 12:05:44 +00:00
ArmPkg.dsc ArmPkg/BdsLib: Added Aarch64 support for booting Linux 2013-07-18 18:13:02 +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