mbed-os/tools/export/gcc_arm_ssci824.tmpl