4 Sep
2014
4 Sep
'14
9:20 p.m.
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
4226
Age (days ago)
4231
Last active (days ago)
3 comments
2 participants
participants (2)
-
Pei.XiLong(裴喜龙) -
Robert Clove