mbed-os/components/TARGET_PSA/TARGET_TFM/COMPONENT_SPE/bl2/include
..
tfm_boot_status.h