tree 6cadc350b66d6a76d96e165c277fa64f98cf5cce
parent f3de0a607dd36d045ef8d1782db5e9c296cf6b43
author oliviermartin <oliviermartin@6f19259b-4bc3-4df7-8a09-765794883524> 1309773769 +0000
committer oliviermartin <oliviermartin@6f19259b-4bc3-4df7-8a09-765794883524> 1309773769 +0000

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