How to boot Fiasco microkernel on raspberry pi

Rahul Singhal <[email protected]>
Newsgroups gmane.comp.micro-kernel.l4.devel
Message-ID <[email protected]> 
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.
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.