On 6/30/25 4:30 PM, Jerome Forissier wrote: Hi, > On 6/30/25 02:08, Marek Vasut wrote: >> Add support for jumping to Linux kernel through OpTee-OS on ARMv7a to SPL. > > Nitpicking: OP-TEE OS Is this the official spelling ? I was always under the impression it was OpTee-OS . but maybe I am wrong .