On 30 Jan 2018, at 10:24, Daniel Wang <[email protected]<mailto:[email protected]>> 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
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
