• State Suggested Answer
  • Locked Locked
  • Replies 1 reply
  • Answers 1 answer
  • Subscribers 25 subscribers
  • Views 2691 views
  • Users 0 members are here
2025 survey

We are running a survey to help us improve the experience for all of our members. If you see the survey appear, please take the time to tell us about your experience if you can.

Options
Related
How was your experience today?
This discussion has been locked.
You can no longer post new replies to this discussion. If you have a question you can start a new discussion

Test OP-TEE driver on Morello Kernel

Menna Mahmoud

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?