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 .

Reply via email to