[Raspbian-devel] Sel4 on Pi

[Robert Clove]

Hi All,

I am all new to this raspberry pi.I was trying to port sel4 (
https://github.com/seL4/seL4) on pie but the build instruction (
http://sel4.systems/Hardware/General/) are only for another board.

Has anyone successfully ported sel4 on pi.
Please guide me

Regards
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.alioth.debian.org/pipermail/raspbian-devel/attachments/20140904/c533fffb/attachment.html>