Yeah that’s another solution we are considering as well. But I found that not a 
lot of hardwares support Hardware Assisted Virtualization, and those do support 
it are kind of expensive for business. I got a TK1-SOM board I will try that 
way out as well. It is little bit hard to convince business to switch hardware 
and some their chosen boards already support TZ. Although I’ m not 100% sure 
the difference between those two solutions regards of system security and 
performance. I would love to hear your opinion.

Thank you very much for your response. 

Best Regards
-Daniel Wang



> On Jan 29, 2018, at 4:35 PM, <[email protected]> 
> <[email protected]> wrote:
> 
> 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

_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel

Reply via email to