| Zelalem | ad41d88 | 2020-07-10 14:46:19 -0500 | [diff] [blame] | 1 | ARM_ARCH_MINOR=5 |
| Alexei Fedorov | 0882e88 | 2020-08-21 12:03:20 +0100 | [diff] [blame] | 2 | BRANCH_PROTECTION=4 |
| 3 | CROSS_COMPILE=aarch64-none-elf- | ||||
| Zelalem | ad41d88 | 2020-07-10 14:46:19 -0500 | [diff] [blame] | 4 | EL3_EXCEPTION_HANDLING=1 |
| Zelalem | ad41d88 | 2020-07-10 14:46:19 -0500 | [diff] [blame] | 5 | PLAT=fvp |
| Alexei Fedorov | 0882e88 | 2020-08-21 12:03:20 +0100 | [diff] [blame] | 6 | SDEI_SUPPORT=1 |