On 25 Mar 2016, at 5:44 , Nogin, Aleksey <anogin@hrl.com> wrote:

I also had an opinion expressed to me that TZ could be leveraged to speed up some of context switching. No clue whether there is any truth to that.

that’s complete bogus. Unless, of course, you’re talking in the context of some of the systems out there that take 10 times as long for a context switch as seL4.

Gernot

The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.