On 6/30/25 4:30 PM, Jerome Forissier wrote: Hi,
Is this the official spelling ? I was always under the impression it was OpTee-OS . but maybe I am wrong .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