[seL4] A port to the Raspberry Pi 2?

7 Mar 2015


      Would a port of seL4 to the raspberry pi 2 be welcome because I'm
interested in buying a raspberry pi 2 and building sel4 for it?

Sebastian Lau