Re: [TF-M] Static check framework for TF-M