Re: How to boot Fiasco microkernel on raspberry pi
Dustin Oprea <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <CAG0x-EAK2Tj=oLZZPnEKjAGMKkTtfF67xwXY0oyzo7AS=F1=qA@mail.gmail.com> |
You guys are awesome. Dustin On Tue, May 28, 2013 at 11:42 AM, Wei Jin <[email protected]> wrote: > elfimage is known to work. Just copy it to boot partition of sdcard and > edit config.txt. > > For example: > kernel=bootstrap_hello.elf > > On Tue, May 28, 2013 at 10:30 PM, Rahul Singhal <[email protected]>wrote: > >> I want to port Fiasco microkernel to RPi. I found that Fiasco now supports >> RPi. I am a newbie in this kernel field. I have compiled the L4 >> microkernel >> and the L4 runtime environment for RPi succesfully but I don't know how to >> use the generated binaries to run RPi. I am running on ubuntu 12.04. >> Could you please tell me the procedure and files to be put on the sd card >> of >> RPi so that it boots into the L4 runtime environment. >> >> >> _______________________________________________ >> l4-hackers mailing list >> [email protected] >> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers >> > > > _______________________________________________ > l4-hackers mailing list > [email protected] > http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers > > _______________________________________________ l4-hackers mailing list [email protected] http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers