How to boot Fiasco microkernel on raspberry pi

[Dustin Oprea]

You guys are awesome.


Dustin

On Tue, May 28, 2013 at 11:42 AM, 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
>>
>
>
> _______________________________________________
> 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/20130528/60c9292a/attachment.htm>