Re: [seL4] 答复: Sel4 on Pi

7 Sep 2014

      Hello Sir,

Any luck in porting?

Regards

On Fri, Sep 5, 2014 at 6:01 AM, Pei.XiLong(裴喜龙) 
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