Hi,
1.-
I am trying to debug the secure world of OP-TEE, with what mechanisms can I debug it? How can I get to the secure hardware keys?
2.-
OP-TEE uses the platform's HUK to derive keys such as SSK (secure storage key), can you find out what the board's HUK is or verify what key it uses?
Thanks