Re: [TF-M] Adding a platform specific tfm_svc_number_t