Hello Sir, Any luck in porting?
Regards On Fri, Sep 5, 2014 at 6:01 AM, Pei.XiLong(裴喜龙) <[email protected]> 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:[email protected]] *代表 *Robert Clove > *发送时间:* 2014年9月4日 19:20 > *收件人:* [email protected] > *主题:* [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 > > >
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
