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?