On 30 Jan 2018, at 05:22, Daniel Wang <danielwang.ksu@gmail.com> wrote:

I’m pretty new to TrustZone is there any resources that you can point to me. I found the OP-TEE OS project through searching, it seems interesting.

Silly question: Why bother with TZ in the first place? What does it give you what you don’t get from seL4 alone?

Gernot