<div dir="ltr"><div><div><div><div>Hi All,<br><br></div>I am all new to this raspberry pi.I was trying to port sel4 (<a href="https://github.com/seL4/seL4">https://github.com/seL4/seL4</a>) on pie but the build instruction (<a href="http://sel4.systems/Hardware/General/">http://sel4.systems/Hardware/General/</a>) are only for another board.<br>
<br></div>Has anyone successfully ported sel4 on pi.<br></div>Please guide me<br><br></div>Regards<br><br></div>