22 Jan
2025
22 Jan
'25
8:15 a.m.
On Tue, 2025-01-21 at 11:09 -0300, Fabio Estevam wrote:
Hi Yannic,
On Fri, Jan 17, 2025 at 5:24 AM Yannic Moog Y.Moog@phytec.de wrote:
I have a question: Since tee.bin is marked as optional, we still get the same behaviour when OPTEE is set but no tee.bin is supplied. What do you suggest to do to remedy this?
We could remove the optional. Given that we guard it with CONFIG_OPTEE it makes sense that the tee binary must then be supplied and should no longer be considered optional.
Yes, this makes sense.
Would you mind sending a patch?
Will do
Yannic
Thanks