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:devel-bounces@sel4.systems] 代表 Gernot Heiser
发送时间: 2016年4月14日 20:43
收件人: seL4 developers <devel(a)sel4.systems>
主题: Re: [seL4] Is the L4-embedded microkernel here means seL4
On 14 Apr 2016, at 21:35 , Corey Richardson <corey(a)octayn.net
<mailto:corey@octayn.net> > 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.