I don't have news on the rpi. ...But I wanted to point out that you can run sel4 on the beagleboard (original) and the beaglebone black and several other boards. Not as cheap as the rpi but affordable.
On Mon, Jul 13, 2015 at 10:51 AM, Simon Apperley <[email protected]> wrote: > Hi, > > I wondered if there was any news on the Raspberry Pi 2 port of seL4 which I > saw mentioned when I did a search? I am interested in using the Raspberry Pi > to learn about seL4 - not as a target for a full system (as I know there is > an issue with trusting the boot mechanism). I just thought it would be a nice > platform to use to get my head around seL4 and experiment with virtualising > Linux and maybe Android? > > Simon > > Sent from my iPad > _______________________________________________ > Devel mailing list > [email protected] > https://sel4.systems/lists/listinfo/devel -- Tim Newsham | www.thenewsh.com/~newsham | @newshtwit | thenewsh.blogspot.com _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
