How to boot Fiasco microkernel on raspberry pi

[Wei Jin]

Connect your RPi to a serial port instead of HDMI. Maybe you need to get a
GPIO serial expander for RPi first.
The "rainbow colored screen" is displayed by the gpu firmware, not L4
Fiasco.
http://elinux.org/R-Pi_Troubleshooting#Coloured_splash_screen


On Wed, May 29, 2013 at 7:41 PM, Rahul Singhal <singhalrahul43 at gmail.com>wrote:

> 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 at 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 at 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 at os.inf.tu-dresden.de
>>> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
>>>
>>
>>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20130529/e6d07482/attachment.html>