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 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 Devel@sel4.systems https://sel4.systems/lists/listinfo/devel

-- Tim Newsham | www.thenewsh.com/~newsham | @newshtwit | thenewsh.blogspot.com