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