On 6/30/25 18:51, Heinrich Schuchardt wrote:
> Am 30. Juni 2025 18:22:10 MESZ schrieb Marek Vasut <marek.va...@mailbox.org>:
>> 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.
>
>
> OP-TEE (capital EE) or OP-TEE Trusted OS if you want to refer specifically to
> the secure side implementation. See:
> https://optee.readthedocs.io/en/latest/general/about.html and
> https://github.com/OP-TEE/optee_os
Yes, and the spelling 'optee' is correct when referring to a driver or subsystem
in a commit subject.
Thanks,
--
Jerome
