| commit | a72c337261231fe537879dfa45b278a3f63d039b | [log] [tgz] |
|---|---|---|
| author | Dimitris Papastamos <dimitris.papastamos@arm.com> | Wed May 16 14:26:28 2018 +0100 |
| committer | GitHub <noreply@github.com> | Wed May 16 14:26:28 2018 +0100 |
| tree | f788a6034b4b62d6513998b9be48feabbbde40b0 | |
| parent | f0a1ccb991e434210fe868f63b352b3763a2b108 [diff] | |
| parent | b1881553c62c6a44d36931187b42c1cb2253806c [diff] |
Merge pull request #1381 from antonio-nino-diaz-arm/an/kernel-boot plat/arm: Introduce ARM_LINUX_KERNEL_AS_BL33 build option