Did you mean (for tf-a-ffa_el3_spmc):tb_fw_config
Your search defs:TOS_FW_CONFIG did not match any files. Suggestions:
Completed in 2 milliseconds