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 <[email protected]> wrote: > On Sat, Mar 7, 2015 at 4:00 AM, Wolfgang Keller <[email protected]> > wrote: > >> On Sat, Mar 7, 2015 at 6:18 AM, Sebastian Lau <[email protected]> >> 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 > [email protected] > https://sel4.systems/lists/listinfo/devel >
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
