| ARM_ROTPK_LOCATION=devel_rsa | |
| ARM_TSP_RAM_LOCATION=tdram | |
| CROSS_COMPILE=aarch64-none-elf- | |
| EVENT_LOG_LEVEL=20 | |
| GENERATE_COT=1 | |
| MEASURED_BOOT=1 | |
| PLAT=fvp | |
| ROT_KEY=plat/arm/board/common/rotpk/arm_rotprivk_rsa.pem | |
| SPD=opteed | |
| TPM_HASH_ALG=sha384 | |
| TRUSTED_BOARD_BOOT=1 | |
| USE_ROMLIB=1 |