Re: How to boot Fiasco microkernel on raspberry pi
Wei Jin <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <CAGszOJeAEzKzE8CvkKcDHSk=L9y18fDm8pQQpXjnidGBUp+ymg@mail.gmail.com> |
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 <[email protected]>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 <[email protected]> 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 <[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