On Wednesday 28 February 2007 11:12, Eduard Benes wrote:
Hi all,
I'm newbie in this area, and I would like to ask for help with some problems I run into (hope this is the right place). I've finally build l4linux following instructions in the "L4/Fiasco/L4Linux Kickstart". (please let me know if there is better document to start with) dslab.lzu.edu.cn/docs/publications/l4_kickstart.pdf.
We have tested this document many times and some Linux newbie used this document to build the L4Linux very successfully. And please pay attention that this document is made in the case of kernel 2.6.17. Maybe in the kernel 2.6.19 there are some problems, too.
I had some problem finding out the right configuration of the l4linux-2.6.19-l4 kernel (could someone provide example of the .conf file). Right now I'm trying to run it on real hw (How to make it run under qemu?) but when I try to boot DOpE using patched grub, it hangs when (at least I assume) trying to enter graphic mode. The screen shows this:
If you use L4Linux or Fiasco the first thing is to study how to use serial console to debug the Fiasco especially in the graphical mode you don't see anything important in the screen. Some booting error messages could only be output by the serial console.
I've tried the L4Linux demo CD, but with the same result. Tried to boot into DOpE or console. I suspect that video card might not be supported. But during many attempts, once the DOpE environment flashed for a second (before doing the restart routine accidentally) and that really surprise for me. The graphical user interface is not necessary, but I don't know yet how to run L4Linux in console. I'm able to get into kernel debugger, when I boot the L4Linux by remote serial console variant of grub menu.lst entries (based on the kickstart document mentioned above). In the kernel debugger mode was logged one error: [B.0] semaphore/lib/src/semaphore.c:500:l4semaphore_init(): Error: Missing 'deceit_bit_disables_switch' kernel feature! Startup: semaphore lib initialization failed (-1)! It is probably not related to the problem with video card, but might show some mistakes in my l4linux-2.6 kernel configuration.
If you still have some problems about compiling or booting, please download this tar ball (http://dslab.lzu.edu.cn/~chenggh/doc/L4.tar). I have tested this tar ball many times successfully and if you use this directory and do as the kickstart says. I promise you could be successful. In this letter there are 2 attachments: one is 2.4.17 configuration file for booting from serial console and another is 2.4.17 configuration file for booting from Dope.
My final goal is to compare performance of L4Linux and native Linux on real hw. I will appreciate any suggestions or study literature on this topic.
I have done some similar work as you want to do and if you want know something about my paper and data please access my home page (dslab.lzu.edu.cn/~chenggh).
Other questions I would like to ask: What is the right way to boot from serial console?
Please review my kickstart and some configuration file.
How can be achieved networking under L4Linux?
In my benchmark about performance comparasion between L4Linux and Linux I use L4Linux network (It is same as you do in Linux). But if you want to use Fiasco network there is a module ORe (the Oshkosh Resurrection) you could try. But I think this module only show us the Fiasco supports network, too and you don't do anything meaningful. Thank you. I hope you could modify my kickstart and give the new version of this kickstart. Thank you. cheng
l4-hackers@os.inf.tu-dresden.de