Re: How to boot Fiasco microkernel on raspberry pi

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