Re: [Tee-dev] tee dispatcher - arm trusted firmware