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(裴喜龙) <pei.xilong@kortide.com> wrote:

I hava a board, its SOC is AllWinner A20 http://linux-sunxi.org/A20 . This board is compatible to Raspberry Pi,  Now I am porting seL4 onto this board.

发件人: Devel [mailto:devel-bounces@sel4.systems] 代表 Robert Clove
发送时间: 2014年9月4日 19:20
收件人: devel@sel4.systems
主题: [seL4] Sel4 on Pi

Hi All,

I am all new to this raspberry pi.I was trying to port sel4 (https://github.com/seL4/seL4) on raspberry pi but the build instruction (http://sel4.systems/Hardware/General/) are only for another board.

Has anyone successfully ported sel4 on pi.

Please guide me

Another query does sel4 has networking stack?

Regards