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.
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@gmail.comwrote:
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@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
You guys are awesome.
Dustin
On Tue, May 28, 2013 at 11:42 AM, Wei Jin coder.soap@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@gmail.comwrote:
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@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
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@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@gmail.comwrote:
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@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
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@gmail.comwrote:
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@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@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@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
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@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@gmail.comwrote:
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@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@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@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
l4-hackers@os.inf.tu-dresden.de