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? Thanks
