On 30 Jan 2018, at 10:24, Daniel Wang <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