Re: [seL4] seL4 as TEE OS in TrustZone

On 30 Jan 2018, at 05:22, Daniel Wang mailto: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