Problem of running L4Linux
Adam Chang
windbread at gmail.com
Fri Feb 6 03:16:51 CET 2009
Dear all:
Now I use QEMU to boot Fiasco and L4linux , the configuration is as
same as before, but there still has some problem.
The following is the serial output while booting L4Linux
======Beginning of Serial Output=====
Welcome to Fiasco(ia32)!
DD-L4(v2)/ia32 microkernel (C) 1998-2008 TU Dresden
Rev: r422 compiled with gcc 4.3.2 for Intel Pentium Pro []
Enabling special fully nested mode for PIC
Using the PIT (i8254) on IRQ 0 for scheduling
SERIAL ESC: allocated IRQ 4 for serial uart
SERIAL ESC: allocated IRQ 4 for serial uart
Not using serial hack in slow timer handler.
Absolute KIP Syscalls using: Sysenter
CPU: GenuineIntel (6:3:3:0) Model: Pentium II (Klamath) at 2195 MHz
32 KB L1 I Cache (8-way associative, 64 bytes per line)
32 KB L1 D Cache (8-way associative, 64 bytes per line)
2048 KB L2 U Cache (8-way associative, 64 bytes per line)
Freeing init code/data: 20480 bytes (5 pages)
Calibrating timer loop... done.
SIGMA0: Hello!
KIP @ 1000
Found Fiasco: KIP syscalls: yes
allocated 4KB for maintenance structures
Roottask.
Command line found: "/common/roottask -symbols -lines task modname
"loader" boot_priority 0xA0 allow_cli task modname "bmodfs" attached 7
modules"
130623kB ( 127MB) total RAM (reported by bootloader)
113340kB ( 111MB) received RAM from Sigma0
31276kB ( 31MB) reserved RAM for RMGR
Received I/O ports 0000-ffff
Attached irqs = [ <!0> 1 <!2> 3 <!4> 5 6 7 8 9 A B C D E F 10 11 ]
Roottask: Parsing command line config.
configured task 0x00 (loader):
vm_offs:0 irq:3ffff lmcp:ffff allow_cli:1 mcp:ff prio:a0 small:ff mods:0
configured task 0x00 (bmodfs):
vm_offs:0 irq:3ffff lmcp:ffff allow_cli:0 mcp:ff prio:10 small:ff mods:7
Roottask: Loading 16 modules.
#05: loading "/common/names"
from [02171000-021b2b5e] to [002d0000-002d6a57][002d7000-002e2000]
entry at 00058368 via trampoline page code
symbols at [07566000-07568000] (8kB), lines at [07560000-07566000] (24kB)
#06: loading "/common/log"
from [021b3000-021f0dbb] to [00400000-00406eea][00407000-00439808]
entry at 00059364 via trampoline page code
symbols at [0755e000-07560000] (8kB), lines at [07558000-0755e000] (24kB)
#07: loading "/common/dm_phys --isa=0x00800000"
from [021f1000-0228bcd8] to [01500000-01513cb7][01514000-0151e000]
entry at 0005a37c via trampoline page code
symbols at [07553000-07558000] (20kB), lines at
[07545000-07553000] (56kB)
#08: loading "/common/simple_ts -t 300"
from [0228c000-022d93c8] to [01400000-01408dea][01409000-014185e8]
entry at 0005b374 via trampoline page code
symbols at [07543000-07545000] (8kB), lines at
[0753b000-07543000] (32kB)
#09: loading "/common/rtc"
from [022da000-023099c8] to [01080000-010845e0][01085000-0108a000]
entry at 0005c364 via trampoline page code
symbols at [07539000-0753b000] (8kB), lines at
[07534000-07539000] (20kB)
#0a: loading "/common/l4io"
from [0230a000-02549c35] to [00c20000-00c44ccd][00c45000-00cb3000]
entry at 0005e368 via trampoline page code
symbols at [074de000-07534000] (344kB), lines at
[074c4000-074de000] (104kB)
#0b: loading "/common/l4dope"
from [0254a000-026c06fa] to [01b00000-01b45859][01b46000-01b8b000]
entry at 0005f368 via trampoline page code
symbols at [074b6000-074c4000] (56kB), lines at
[07488000-074b6000] (184kB)
#0c: loading "/common/bmodfs"
from [026c1000-0276854b] to [01220000-01238089][01239000-01250000]
passing module /common/cfg/l4linux26.cfg [ 02769000-027690e3 ]
passing module /common/libloader.s.so [ 0276a000-02807ea3 ]
passing module /common/libld-l4.s.so [ 02808000-02881801 ]
passing module /common/vmlinuz [ 02882000-02bcb3e0 ]
passing module /common/drops.rd [ 02bcc000-03bcc000 ]
passing module /common/proxygon [ 03bcc000-03c9972f ]
passing module /common/run [ 03c9a000-03ce7588 ]
entry at 00060468 via trampoline page code
symbols at [07483000-07488000] (20kB), lines at
[07470000-07483000] (76kB)
#0d: loading "/common/loader --fprov=BMODFS proxygon run l4linux26.cfg"
from [03ce8000-03dc710e] to [01300000-013287e9][01329000-01348000]
entry at 00061394 via trampoline page code
symbols at [07469000-07470000] (28kB), lines at
[0744f000-07469000] (104kB)
ROOT: Sending ports 0070-0070 to task #09
ROOT: Sending ports 0080-0080 to task #09
ROOT: Sending ports 0071-0071 to task #09
simplets| Configured for 300 tasks.
rtc | Date:04.02.2009 Time:06:29:43
bmodfs | Passed the following modules:
bmodfs | module "/common/cfg/l4linux26.cfg" (1kB)
bmodfs | module "/common/libloader.s.so" (632kB)
bmodfs | module "/common/libld-l4.s.so" (487kB)
bmodfs | module "/common/vmlinuz" (3365kB)
bmodfs | module "/common/drops.rd" (16384kB)
bmodfs | module "/common/proxygon" (822kB)
bmodfs | module "/common/run" (310kB)
io | Using platform configuration 'x86'
ROOT: Sending ports 0cfb-0cfb to task #0a
ROOT: Sending ports 0cf8-0cfb to task #0a
ROOT: Sending ports 0cfe-0cff to task #0a
io | PCI: Using configuration type 1
io | PCI: Probing PCI hardware
io | PCI: Probing PCI hardware (bus 00)
ROOT: Sending ports 0cfc-0cff to task #0a
io | PCI: PIIX3: Enabling Passive Release on 00:01.0
io | Limiting direct PCI/PCI transfers.
io | Activating ISA DMA hang workarounds.
io | 00000000-ffffffff : PCI mem
io | f0000000-f1ffffff : Cirrus Logic GD 5446
io | f2000000-f2000fff : Cirrus Logic GD 5446
io | 0000-ffff : PCI IO
io | 0cf8-0cff : PCI conf1
io | b000-b03f : Intel Corporation 82371AB/EB/MB PIIX4 ACPI
io | b100-b11f : Intel Corporation 82371AB/EB/MB PIIX4 ACPI
io | c000-c00f : Intel Corporation 82371SB PIIX3 IDE [Natoma/Triton II]
io | c100-c1ff : Realtek Semiconductor Co., Ltd. RTL-8029(AS)
io | Available IRQs=[ <!0> 1 <!2> 3 <!4> 5 6 7 8 9 a b c d e f 10 11 ]
loader | Can't map tbuf status page
loader | "proxygon" is a valid binary image
loader | proxygon: Starting sigma0-style application
loader | proxygon: Loading binary
loader | proxygon,#e: Entry at 00009c88 => 00b00000
loader | proxygon,#e: Started
loader | "run" needs libld-l4.s.so
loader | run: Starting application using libld-l4.s.so
loader | run,#f: Loading binary
loader | run,#f: Loading ldso
loader | run,#f: Starting libld-l4.s.so at 000138e0 via 0000cc8c
loader | sleeping for 1000 ms
l4dope | L4INPUT native mode activated
l4dope | L4INPUT: !!! W A R N I N G !!!
l4dope | L4INPUT: Please, do not use Fiasco's "-esc" with L4INPUT.
l4dope | L4INPUT: !!! W A R N I N G !!!
ROOT: Sending ports 0060-006f to task #0a
l4dope | Failed to disable AUX port, but continuing anyway... Is this a SiS?
l4dope | If AUX port is really absent please use the 'i8042.noaux' option.
l4dope | serio: i8042 KBD port at 0x60,0x64 irq 1
l4dope | input: AT Raw Set 2 keyboard on isa0060/serio0
l4dope | input: PC Speaker
l4dope | input: L4 input event injector
l4dope | L4 input event injector: IRQ handler up
l4dope | connect "AT Raw Set 2 keyboard", isa0060/serio0/input0
l4dope | connect "PC Speaker", isa0061/input0
l4dope | connect "L4 input event injector", l4/sys
l4dope | SharedMem(alloc): hl.raw=e0000, id=58, size=800
l4dope | SharedMem(get_adr): address = 0x5000
l4dope | SharedMem(alloc): hl.raw=e0000, id=59, size=800
l4dope | SharedMem(get_adr): address = 0x6000
l4dope | SharedMem(alloc): hl.raw=e0000, id=5a, size=800
l4dope | SharedMem(get_adr): address = 0x7000
l4dope | SharedMem(alloc): hl.raw=e0000, id=5b, size=800
l4dope | SharedMem(get_adr): address = 0xd000
l4dope | SharedMem(alloc): hl.raw=e0000, id=5c, size=800
l4dope | SharedMem(get_adr): address = 0xe000
l4dope | SharedMem(alloc): hl.raw=e0000, id=5d, size=800
l4dope | SharedMem(get_adr): address = 0xf000
l4dope | SharedMem(alloc): hl.raw=e0000, id=5f, size=800
l4dope | SharedMem(get_adr): address = 0x16000
l4dope | SharedMem(alloc): hl.raw=e0000, id=64, size=484
l4dope | SharedMem(get_adr): address = 0x20000
l4dope | dope: paddr=f0000000 size=4096KiB
l4dope | Mapped video memory at f0000000 to 00400000+000000 [4096kB] via L4IO
l4dope | mapping: vaddr=0x400000 size=4194304(0x400000) offset=0(0x0)
l4dope | Frame buffer base: 0x400000
l4dope | Resolution: 1024x768x16
l4dope | Bytes per scanline: 2048
l4dope | Current video mode is 1024x768 red=11:5 green=5:6 blue=0:5 res=0:0
loader | Invalid interpreter found: /usr/lib/libc.so.1
loader | vmlinuz: Starting sigma0-style application
loader | vmlinuz: Loading binary
loader | vmlinuz,#10: Entry at 00009c24 => 003ff000
loader | vmlinuz,#10: Started
loader | vmlinuz,#10: Double PF (r) at 00008000 eip 0040d715 (10.00)
--Double PF, 'g' for kill--------------------------------IP: 01304395
[loader.pager] (d.03) jdb:
======Ending of Serial Output=====
The above is my current circumstance，can someone give me some advice
how to solve this problem?
Thanks!!
Best Regards.
Adam Chang
--
Adam Hung-Hsiang Chang
windbread at gmail.com
+886-987-335398
Wireless Networking and Embedded Systems Lab
Graduate Institute of Networking and Multimedia
National Taiwan University
On Wed, Jan 14, 2009 at 7:09 AM, Adam Lackorzynski
<adam at os.inf.tu-dresden.de> wrote:
>
> On Tue Jan 13, 2009 at 15:30:54 +0800, Adam Chang wrote:
>> Now I add the serial port to VMware machine and connected the serial
>> port to output file
>
> Good.
>
>> The following is the serial output while booting L4Linux
>> loader | vmlinuz,#10: Starting libld-l4.s.so at 000138e0 via 0000cc24
>>
>> DOUBLE FAULT!
>> EAX=c01407d0 ESI=c0140000 DS=0023
>> EBX=c0400000 EDI=00000000 ES=0023
>> ECX=1fca0000 EBP=c01406e8 GS=0043
>> EDX=00000000 ESP=c04007cc SS=0010 ESP0=c0140800
>> EFL=00010087 EIP=f002ad96 CS=0008
>> Return reboots, "k" tries to enter the L4 kernel debugger...
>> Rebooting...
>> ======Ending of Serial Output=====
>> The above is my current circumstance，can someone give me some advice
>> how to solve this problem?
>
> Whoops. This is a fault by the kernel itself. I guess it must have
> something to do with using VMware. Could you try some other VM solution,
> like QEmu, to see if things change?
>
>
> Adam
> --
> Adam adam at os.inf.tu-dresden.de
> Lackorzynski http://os.inf.tu-dresden.de/~adam/
>
> _______________________________________________
> l4-hackers mailing list
> l4-hackers at os.inf.tu-dresden.de
> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
>
More information about the l4-hackers
mailing list