<div dir="ltr">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.<br><br></div><div class="gmail_extra"><br><br><div class="gmail_quote">
On Wed, May 29, 2013 at 4:43 PM, Wei Jin <span dir="ltr"><<a href="mailto:coder.soap@gmail.com" target="_blank">coder.soap@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div dir="ltr">Connect your RPi to a serial port instead of HDMI. Maybe you need to get a GPIO serial expander for RPi first.<div>The "rainbow colored screen" is displayed by the gpu firmware, not L4 Fiasco.</div>

<div><a href="http://elinux.org/R-Pi_Troubleshooting#Coloured_splash_screen" target="_blank">http://elinux.org/R-Pi_Troubleshooting#Coloured_splash_screen</a><br></div><div><div class="h5"><div class="gmail_extra"><br><br>
<div class="gmail_quote">On Wed, May 29, 2013 at 7:41 PM, Rahul Singhal <span dir="ltr"><<a href="mailto:singhalrahul43@gmail.com" target="_blank">singhalrahul43@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div dir="ltr">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 <span style="font-family:arial,sans-serif;font-size:13px">kernel=bootstrap_hello.elf at the end. After booting the pi with this sd card i see nothing but the rainbow colored screen.</span><div>


<span style="font-family:arial,sans-serif;font-size:13px">Please help me out here.<br>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.<br>


Thanks in advance.<br> </span></div></div><div><div><div class="gmail_extra"><br><br><div class="gmail_quote">On Tue, May 28, 2013 at 5:42 PM, Wei Jin <span dir="ltr"><<a href="mailto:coder.soap@gmail.com" target="_blank">coder.soap@gmail.com</a>></span> wrote:<br>


<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra">elfimage is known to work. Just copy it to <span style="line-height:19.1875px;font-size:13px;font-family:sans-serif">boot partition of </span>sdcard and edit config.txt.</div>



<div class="gmail_extra"><br></div><div class="gmail_extra">For example:</div><div class="gmail_extra">kernel=bootstrap_hello.elf</div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, May 28, 2013 at 10:30 PM, Rahul Singhal <span dir="ltr"><<a href="mailto:singhalrahul43@gmail.com" target="_blank">singhalrahul43@gmail.com</a>></span> wrote:<br>



<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">I want to port Fiasco microkernel to RPi. I found that Fiasco now supports<br>




RPi. I am a newbie in this kernel field. I have compiled the L4 microkernel<br>
and the L4 runtime environment for RPi succesfully but I don't know how to<br>
use the generated binaries to run RPi. I am running on ubuntu 12.04.<br>
Could you please tell me the procedure and files to be put on the sd card of<br>
RPi so that it boots into the L4 runtime environment.<br>
<br>
<br>
_______________________________________________<br>
l4-hackers mailing list<br>
<a href="mailto:l4-hackers@os.inf.tu-dresden.de" target="_blank">l4-hackers@os.inf.tu-dresden.de</a><br>
<a href="http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers" target="_blank">http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers</a><br>
</blockquote></div><br></div></div>
</blockquote></div><br></div>
</div></div></blockquote></div><br></div></div></div></div>
</blockquote></div><br></div>