| WORK_PATH=/root/work/tfm | |
| MCUBOOT_PATH=$WORK_PATH/mcuboot | |
| TFM_PATH=$WORK_PATH/trusted-firmware-m | |
| TFM_TESTS_PATH=$WORK_PATH/tf-m-tests | |
| TFM_SPE_BUILD_PATH=$TFM_PATH/build_spe | |
| TFM_BUILD_PATH=$TFM_PATH/build | |
| BOOTLOADER_AXF_PATH=$TFM_SPE_BUILD_PATH/bin/bl2.axf | |
| TFM_IMAGE_NAME=tfm_s_ns_signed.bin | |
| TFM_IMAGE_OUTPUT_PATH=$TFM_BUILD_PATH | |
| TFM_IMAGE_PATH=$TFM_IMAGE_OUTPUT_PATH/$TFM_IMAGE_NAME |