I put three files bootstrap.elf , bootstrap_hello , bootstrap_hello.elf in the boot partition of my sd card which already had raspbian installed on it. I modified the config.txt file which had everything commented initially, and added the line kernel=bootstrap_hello.elf at the end. After booting the pi with this sd card i see nothing but the rainbow colored screen.

Please help me out here.
As I told you I am a beginner with RPi environment and want to port L4 Fiasco microkernel on RPi and test it using a few simple programs.
Thanks in advance.
 

On Tue, May 28, 2013 at 5:42 PM, 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