Hi all,
I have enabled `CONFIG_TEE=y` and `CONFIG_OPTEE=y` but after running kernel using FVP and running this `dmesg | grep optee`, got nothing. any advice?
Just posting this here for visibility, Vincenzo gave instructions for using OP-TEE on the mailing list: op-lists.linaro.org/.../