How to boot Fiasco microkernel on raspberry pi

Rahul Singhal singhalrahul43 at gmail.com
Fri May 31 12:15:35 CEST 2013


Could you please tell me the exact file structure (files that are needed to
boot up.) of the sd card so as to boot Fiasco.OC on raspberry pi.



On Wed, May 29, 2013 at 4:43 PM, Wei Jin <coder.soap at gmail.com> wrote:

> 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/20130531/9cd36ada/attachment.html>


More information about the l4-hackers mailing list