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. 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:
[VESA 2.0 info @ 0x75b5000, 0x2ff bytes] boot <blank>
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.
Here is my PCI device list: $ lspci 00:00.0 Host bridge: ATI Technologies Inc Radeon 9100 IGP Host Bridge (rev 02) 00:01.0 PCI bridge: ATI Technologies Inc Radeon 9100 IGP AGP Bridge 00:13.0 USB Controller: ATI Technologies Inc OHCI USB Controller #1 (rev 01) 00:13.1 USB Controller: ATI Technologies Inc OHCI USB Controller #2 (rev 01) 00:14.0 SMBus: ATI Technologies Inc ATI SMBus (rev 16) 00:14.1 IDE interface: ATI Technologies Inc ATI Dual Channel Bus Master PCI IDE Controller 00:14.3 ISA bridge: ATI Technologies Inc Unknown device 434c 00:14.4 PCI bridge: ATI Technologies Inc Unknown device 4342 00:14.5 Multimedia audio controller: ATI Technologies Inc IXP150 AC'97 Audio Controller 00:14.6 Modem: ATI Technologies Inc IXP AC'97 Modem (rev 01) 01:05.0 VGA compatible controller: ATI Technologies Inc RS300M AGP [Radeon Mobility 9100IGP] 02:00.0 FireWire (IEEE 1394): Texas Instruments TSB43AB21 IEEE-1394a-2000 Controller (PHY/Link) 02:03.0 Ethernet controller: Realtek Semiconductor Co., Ltd. RTL-8139/8139C/8139C+ (rev 10) 02:04.0 CardBus bridge: Texas Instruments PCI1620 PC Card Controller (rev 01) 02:04.1 CardBus bridge: Texas Instruments PCI1620 PC Card Controller (rev 01) 02:04.2 System peripheral: Texas Instruments PCI1620 Firmware Loading Function (rev 01) 02:07.0 USB Controller: NEC Corporation USB (rev 43) 02:07.1 USB Controller: NEC Corporation USB (rev 43) 02:07.2 USB Controller: NEC Corporation USB 2.0 (rev 04)
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.
Other questions I would like to ask: What is the right way to boot from serial console? How can be achieved networking under L4Linux?
Regards,
Eduard Benes
Hi,
On Tue Feb 27, 2007 at 22:12:33 -0500, Eduard Benes wrote:
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).
It is.
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. 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?)
Conceptually QEmu is the same as native, i.e. there's no difference in the configuration.
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:
[VESA 2.0 info @ 0x75b5000, 0x2ff bytes] boot
<blank>
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.
Given it's a radeon based card I'd not expect that.
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).
Good, serial console is good to have. If you want to do benchmarks on L4Linux you should not use any graphical console but use plain PS2/VGA with L4Linux.
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)!
You need to enable that feature in the Fiasco configuration.
It is probably not related to the problem with video card, but might show some mistakes in my l4linux-2.6 kernel configuration.
The above error message has nothing to do with L4Linux.
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.
Basically, make sure you do it right, i.e. only publish figures if you're sure they are ok. Of course you should leave out debugging code everywhere (Fiasco, L4Linux, etc.) and do the 'obvious' things right. (Easy said, I know.)
Other questions I would like to ask: What is the right way to boot from serial console?
You mean 'with' (instead of 'from')? You said that it already works for you, so you are probably doing it quite right.
How can be achieved networking under L4Linux?
Several possibilites. First is using the network driver as in native Linux, i.e. Linux drives the NIC. Then there's ORe, an L4 network server that L4Linux may connect to. This server switches traffic for different clients and may have or may not have network drivers on its own. ORe is not very optimized right now.
Adam
l4-hackers@os.inf.tu-dresden.de