On Thu, Sep 18, 2025 at 3:14 AM Yannic Moog <[email protected]> wrote: > > OPTEE config was unset by default and the doc for the boards was not > quite accurate as TEE configs must be enabled first in order to be able > to build with OP-TEE support. > This series enables the config by default, i.e. when wanting to build > without OP-TEE now, configs need to be modified. > Update and clean up the documentation: > Change instructions on how to build bootable image with the new OP-TEE > related changes.
Applied the series to -next, thanks.
