Hi,
Google has release its Trusty OS for Android, · An operating system (the Trusty OS) that runs on a processor intended to provide a TEE https://source.android.com/security/trusty/index.html If I replace the Android's Trusty OS with seL4, what should I do, and what benefits can I get? Xilong Pei Tongji University 2016/4/18 发件人: Devel [mailto:[email protected]] 代表 Gernot Heiser 发送时间: 2016年4月14日 20:43 收件人: seL4 developers <[email protected]> 主题: Re: [seL4] Is the L4-embedded microkernel here means seL4 On 14 Apr 2016, at 21:35 , Corey Richardson <[email protected] <mailto:[email protected]> > wrote: On Thu, Apr 14, 2016, at 18:23, XilongPei wrote: > I wonder whether the L4-embedded microkernel means seL4 > My understanding is that it is a fork of OKL4. I look forward to Gernot writing about this topic on his blog 😉 There you go: https://microkerneldude.wordpress.com/ 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.
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
