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.m...@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
