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
