Re: [seL4] seL4 as TEE OS in TrustZone

On 30 Jan 2018, at 10:24, Daniel Wang mailto:danielwang.ksu@gmail.com> wrote: 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. So you put your Linux into a VM, and it’s fully isolated from the native stuff. Gernot