Both Snapdragon S4 Pro (APQ8064) and RaspberryPi’s SOC BCM2835 all are Qualcomm’s product, perhaps they are similar, so I first research the implemention of seL4 on APQ8064.
Here is the project of this work:
http://elastos.org/redmine/projects/sel4-a20
^_^ most of its content is Chinese.
We want to develop a HA-OS (High availability Operating System), support some fault-tolerant methods on programing model.
发件人: Robert Clove [mailto:cloverobert@gmail.com]
发送时间: 2014年9月7日 20:04
收件人: Pei.XiLong(裴喜龙)
抄送: devel@sel4.systems
主题: Re: 答复: [seL4] Sel4 on Pi
Hello Sir,
Any luck in porting?
Regards
On Fri, Sep 5, 2014 at 6:01 AM, Pei.XiLong(裴喜龙)