You guys are awesome. Dustin On Tue, May 28, 2013 at 11:42 AM, Wei Jin <coder.soap@gmail.com> 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 <singhalrahul43@gmail.com>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 l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
_______________________________________________ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers