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
