On Sat, Mar 7, 2015 at 4:00 AM, Wolfgang Keller wolfgangkeller@gmail.com wrote:
On Sat, Mar 7, 2015 at 6:18 AM, Sebastian Lau sebastianlau25@gmail.com wrote:
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?
I have not much knowledge about seL4, but the boot process of the RPi (all versions) is rather special:
Thanks for the R-Pi summary!
Some layers may be difficult to prove but that should not make it impossible to do good work.
Something along the lines... If Given: uboot is trusted. If Given: USB IO is trusted to devices ...UVW, XYZ.
The value of accepting some "Givens" is that other levels of work can move forward on a very inexpensive platform.
As a student platform the R-Pi is interesting because the student has a worthy (sufficiently interesting) platform to abuse for less than the price of a modern text book. Pop out the memory card reload it and start over. The students laptop has not crashed.
There is an old adage that to work on a car at home you need to have a second car available to go and get parts. With the R-Pi spare flash memory cards and USB memory give that spare vehicle to go and get parts....
Have fun.