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?
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
