audk/ArmPkg
oliviermartin 1c1e70fa6e ArmPkg/BdsLib: Linux kernel supports either FDT or ATAG
If a FDT blob is passed to the kernel it is required we can load it.
If we fail to load the binary then we must abort the Linux booting
process.


ArmPkg/CpuDxe: Ensure the reset vector passed to the CP15 VBAR register is aligned on the right boundary





git-svn-id: https://edk2.svn.sourceforge.net/svnroot/edk2/trunk/edk2@11968 6f19259b-4bc3-4df7-8a09-765794883524
2011-07-04 10:02:49 +00:00
..
Drivers ArmPkg/BdsLib: Linux kernel supports either FDT or ATAG 2011-07-04 10:02:49 +00:00
Filesystem/SemihostFs Update the copyright notice format 2010-04-29 12:15:47 +00:00
Include ArmPkg: Move ARM Platform drivers from ArmPkg/Drivers/ to ArmPlatformPkg/Drivers/ 2011-07-01 15:30:01 +00:00
Library ArmPkg/BdsLib: Linux kernel supports either FDT or ATAG 2011-07-04 10:02:49 +00:00
ArmPkg.dec ArmPkg: Move ARM Platform drivers from ArmPkg/Drivers/ to ArmPlatformPkg/Drivers/ 2011-07-01 15:30:01 +00:00
ArmPkg.dsc ArmPkg: Move ARM Platform drivers from ArmPkg/Drivers/ to ArmPlatformPkg/Drivers/ 2011-07-01 15:30:01 +00:00