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
4215
Age (days ago)
4220
Last active (days ago)
3 comments
2 participants
participants (2)
-
Pei.XiLong(裴喜龙) -
Robert Clove