Re: [seL4] seL4 as TEE OS in TrustZone

Hi Gernot, We are thinking about exploring TZ mainly because lots of legacy software stacks are written for Linux. It would be very costly to port all code directly into seL4. Best Regards -Daniel Wang

On Jan 29, 2018, at 4:17 PM, wrote:

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 _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel