Well, I'll probably start one for a side project (being a student is busy... Not that working is any better). But wouldn't GRUB work as a bootloader as well or is it that sel4 only boots on uboot?


On Sun, 8 Mar 2015 11:23 Tom Mitchell <mitch@niftyegg.com> wrote:
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.





--
  T o m    M i t c h e l l
_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel