| commit | dcf1a04e3bf6e66f82ef8d018964b9b89ac1b60d | [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 | 2c893f50aca962d879f8916f63b60768c418568d [diff] | |
| parent | 32412a8a6b0da74d13d086c7f48afeaff7e885c5 [diff] |
Merge pull request #1381 from antonio-nino-diaz-arm/an/kernel-boot plat/arm: Introduce ARM_LINUX_KERNEL_AS_BL33 build option