panic in L4Linux booting process

chenggh chenggh04 at st.lzu.edu.cn
Mon Jul 3 04:32:25 CEST 2006


On Monday 03 July 2006 02:45, Adam Lackorzynski wrote:
> On Fri Jun 30, 2006 at 20:13:34 +0800, chenggh wrote:
> > names   | Starting thread listening for `exit' events
> > simplets| Configured for 300 tasks.
> > DMphys  | [8.0] dm_phys/server/src/main.c:115:__get_num():
> > DMphys  |  Error: DMphys: invalid number: 'sa=0x00800000'!
> > DMphys  | [8.0] dm_phys/server/src/main.c:153:__pool_config():
> > DMphys  |  Error: DMphys: invalid size for pool 7: sa=0x00800000!
> >
> >
> >   module (hd0,1)/boot/fiasco_L4/dm_phys -isa=0x00800000 -v --events
>
> Write --isa=0x00800000 to get the above error fixed (two '_').
>
>
> Please enable 'Show page faults and exceptions of Linux server' under
> L4Linux configuration -> Debugging options in the L4Linux conifguration
> menu. When you try again, there should be a line starting with 'EX: '
> just before the panic. On this line, there will be 'pc = 0x12345678',
> look up this address with a disassemble of your vmlinux binary. Then
> show us where this is in the source.
   
       I enable "Show page faults and exceptions of Linux server". But there 
is not a line starting with "EX:". The following is my log.

	
Welcome to Fiasco(ia32)!
DD-L4(v2)/x86 microkernel (C) 1998-2006 TU Dresden
Rev: Thu Jun  1 13:35:11 2006 compiled with gcc 3.3.6 for AMD Athlon
Performance-critical config option(s) detected:
  CONFIG_SCHED_RTC is on
  CONFIG_ASSEMBLER_IPC_SHORTCUT is off
  CONFIG_NDEBUG is off
  CONFIG_NO_FRAME_PTR is off
  CONFIG_LIST_ALLOC_SANITY is on
  CONFIG_BEFORE_IRET_SANITY is on
  CONFIG_JDB_ACCOUNTING is on

Enabling special fully nested mode for PIC
Using the RTC on IRQ 8 (1kHz) 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: AuthenticAMD (6:8:1:0) Model: Athlon (Thoroughbred) at 2002 MHz

  16/256 Entry I TLB (4K pages)      8 Entry I TLB (4M pages)
  32/256 Entry D TLB (4K pages)      8 Entry D TLB (4M pages)
  64 KB L1 I Cache (2-way associative, 64 bytes per line)
  64 KB L1 D Cache (2-way associative, 64 bytes per line)
 256 KB L2 U Cache (8-way associative, 64 bytes per line)

Freeing init code/data: 24576 bytes (6 pages)

SIGMA0: Hello!
  Found Fiasco: KIP syscalls: yes.
  Allocated 188kB for maintenance structures.


Roottask.

  491071kB ( 479MB) total RAM (reported by bootloader)
  427896kB ( 418MB) received RAM from Sigma0
   23272kB (  23MB) 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 ]

Roottask: Parsing command line config.
  configured task 0x00 (bmodfs):
    vm_offs:0 irq:ffff lmcp:ffff allow_cli:0 mcp:ff prio:10 small:ff mods:2
Symbols at [1b956000-1b95b000] (20kB), lines at [1b944000-1b956000] (72kB)

Roottask: Loading 12 modules.
#05: loading "(hd0,1)/boot/fiasco_L4/events"
     from [0612b000-06174e2f] to [01540000-0154ab9d][0154b000-0154d954]
     entry at 00061078 via trampoline page code
     symbols at [1b942000-1b944000] (8kB), lines at [1b93a000-1b942000] (32kB)
#06: loading "(hd0,1)/boot/fiasco_L4/names -events"
     from [06175000-061b9ca6] to [002d0000-002d784a][002d8000-002e4000]
     entry at 00062080 via trampoline page code
     symbols at [1b938000-1b93a000] (8kB), lines at [1b931000-1b938000] (28kB)
#07: loading "(hd0,1)/boot/fiasco_L4/log"
     from [061ba000-061fd64c] to [00400000-004080aa][00409000-0043b8b0]
     entry at 00063074 via trampoline page code
     symbols at [1b92f000-1b931000] (8kB), lines at [1b928000-1b92f000] (28kB)
#08: loading "(hd0,1)/boot/fiasco_L4/dm_phys --isa=0x00800000 -v --events"
     from [061fe000-0627ab68] to [01500000-01513aea][01514000-0151e000]
     entry at 00064094 via trampoline page code
     symbols at [1b924000-1b928000] (16kB), lines at [1b916000-1b924000] 
(56kB)
#09: loading "(hd0,1)/boot/fiasco_L4/simple_ts -t 300 --events"
     from [0627b000-062c5fd2] to [01400000-0140910a][0140a000-01415bf0]
     entry at 0006508c via trampoline page code
     symbols at [1b913000-1b916000] (12kB), lines at [1b90b000-1b913000] 
(32kB)
#0a: loading "(hd0,1)/boot/fiasco_L4/rtc --events"
     from [062c6000-062fbfd8] to [01080000-01085960][01086000-0108b000]
     entry at 0006607c via trampoline page code
     symbols at [1b909000-1b90b000] (8kB), lines at [1b903000-1b909000] (24kB)
#0b: loading "(hd0,1)/boot/fiasco_L4/l4io -noirq --events"
     from [062fc000-064e5299] to [00b80000-00ba436a][00ba5000-00bf1000]
     entry at 00067084 via trampoline page code
     symbols at [1b8cb000-1b903000] (224kB), lines at [1b8b1000-1b8cb000] 
(104kB)
#0c: loading "(hd0,1)/boot/fiasco_L4/l4exec --events"
     from [064e6000-0660ffd9] to [01100000-0112bb8a][0112c000-0114e000]
     entry at 00068080 via trampoline page code
     symbols at [1b8a9000-1b8b1000] (32kB), lines at [1b88c000-1b8a9000] 
(116kB)
#0d: loading "(hd0,1)/boot/fiasco_L4/bmodfs --events"
     from [06610000-066b110a] to [01220000-0123706a][01238000-01258000]
     passing module (hd0,1)/boot/fiasco_L4/vmlinuz26      
[ 066b2000-074b66ce ]
     passing module (hd0,1)/boot/fiasco_L4/libloader.s.so 
[ 074b7000-0755a661 ]
     entry at 000690ec via trampoline page code
     symbols at [1b887000-1b88c000] (20kB), lines at [1b875000-1b887000] 
(72kB)
#0e: loading "(hd0,1)/boot/fiasco_L4/loader --fprov=BMODFS  vmlinuz26"
     from [0755b000-0763f6f5] to [01300000-0132792a][01328000-01353000]
     entry at 0006a090 via trampoline page code
     symbols at [1b86e000-1b875000] (28kB), lines at [1b854000-1b86e000] 
(104kB)

names   | Starting thread listening for `exit' events
simplets| Configured for 300 tasks.
rtc     | Date:03.07.2006 Time:10:20:10
DMphys  | DMphys memory map:
DMphys  |   phys. memory 0x00000000-0x1dff0000 (from L4 kernel info page)
DMphys  |   using 0x00100000-0x1dff0000
DMphys  |        Memory area      Pool  PS  Flags
DMphys  |   0x00000000-0x00100000  --   --  RESERVED 
DMphys  |   0x00100000-0x0013a000   7   12  MAPPED 
DMphys  |   0x0013a000-0x001d2000  --   --  DENIED
DMphys  |   0x001d2000-0x002d0000   7   12  MAPPED 
DMphys  |   0x002d0000-0x002e4000  --   --  DENIED
DMphys  |   0x002e4000-0x00400000   7   12  MAPPED 
DMphys  |   0x00400000-0x0043c000  --   --  DENIED
DMphys  |   0x0043c000-0x009e8000   7   12  MAPPED 
DMphys  |   0x009e8000-0x00b80000   0   12  MAPPED 
DMphys  |   0x00b80000-0x00bf1000  --   --  DENIED
DMphys  |   0x00bf1000-0x00c00000   0   12  MAPPED 
DMphys  |   0x00c00000-0x01000000   0   22  MAPPED 
DMphys  |   0x01000000-0x01080000   0   12  MAPPED 
DMphys  |   0x01080000-0x0108b000  --   --  DENIED
DMphys  |   0x0108b000-0x01100000   0   12  MAPPED 
DMphys  |   0x01100000-0x0114e000  --   --  DENIED
DMphys  |   0x0114e000-0x01220000   0   12  MAPPED 
DMphys  |   0x01220000-0x01258000  --   --  DENIED
DMphys  |   0x01258000-0x01300000   0   12  MAPPED 
DMphys  |   0x01300000-0x01353000  --   --  DENIED
DMphys  |   0x01353000-0x01400000   0   12  MAPPED 
DMphys  |   0x01400000-0x01416000  --   --  DENIED
DMphys  |   0x01416000-0x01500000   0   12  MAPPED 
DMphys  |   0x01500000-0x0151d000  --   --  RESERVED 
DMphys  |   0x0151d000-0x01540000   0   12  MAPPED 
DMphys  |   0x01540000-0x0154e000  --   --  DENIED
DMphys  |   0x0154e000-0x01800000   0   12  MAPPED 
DMphys  |   0x01800000-0x06400000   0   22  MAPPED 
DMphys  |   0x06400000-0x066b2000   0   12  MAPPED 
DMphys  |   0x066b2000-0x0755b000  --   --  DENIED
DMphys  |   0x0755b000-0x07800000   0   12  MAPPED 
DMphys  |   0x07800000-0x1b800000   0   22  MAPPED 
DMphys  |   0x1b800000-0x1b854000   0   12  MAPPED 
DMphys  |   0x1b854000-0x1dff0000  --   --  DENIED
DMphys  | 
DMphys  | DMphys memory pools:
DMphys  |   pool 0 (Default memory pool):
DMphys  |   size: 424116KB total, 424116KB free,  32KB reserved
DMphys  |     0x009e8000-0x00b80000 (  1632KB,    2MB)
DMphys  |     0x00bf1000-0x01080000 (  4668KB,    5MB)
DMphys  |     0x0108b000-0x01100000 (   468KB,    0MB)
DMphys  |     0x0114e000-0x01220000 (   840KB,    1MB)
DMphys  |     0x01258000-0x01300000 (   672KB,    1MB)
DMphys  |     0x01353000-0x01400000 (   692KB,    1MB)
DMphys  |     0x01416000-0x01500000 (   936KB,    1MB)
DMphys  |     0x0151d000-0x01540000 (   140KB,    0MB)
DMphys  |     0x0154e000-0x066b2000 ( 83344KB,   81MB)
DMphys  |     0x0755b000-0x1b854000 (330724KB,  323MB)
DMphys  |   pool 7 (ISA DMA memory pool):
DMphys  |   size:   8192KB total,   8192KB free,   0KB reserved
DMphys  |     0x00100000-0x0013a000 (   232KB,    0MB)
DMphys  |     0x001d2000-0x002d0000 (  1016KB,    1MB)
DMphys  |     0x002e4000-0x00400000 (  1136KB,    1MB)
DMphys  |     0x0043c000-0x009e8000 (  5808KB,    6MB)
io      | do_args(): Disabling internal IRQ handling.
io      | do_args(): Enabling events support.
bmodfs  | Passed the following modules:
bmodfs  |   module "(hd0,1)/boot/fiasco_L4/vmlinuz26" (14354kB)
bmodfs  |   module "(hd0,1)/boot/fiasco_L4/libloader.s.so" (654kB)
io      | PCI: Using configuration type 1
io      | PCI: Probing PCI hardware
io      | PCI: Probing PCI hardware (bus 00)
io      | PCI: Via IRQ fixup
io      | 00000000-ffffffff : PCI mem
io      |   e0000000-e7ffffff : PCI Bus #01
io      |     e0000000-e7ffffff : S3 Inc. VT8375 [ProSavage8 KM266/KL266]
io      |   e8000000-ebffffff : VIA Technologies, Inc. VT8375 [KM266/KL266] 
Hos
io      : t Bridge
io      |   ec000000-ec0fffff : PCI Bus #01
io      |     ec000000-ec07ffff : S3 Inc. VT8375 [ProSavage8 KM266/KL266]
io      |   ec100000-ec11ffff : Intel Corp. 82544GC Gigabit Ethernet 
Controller
io      :  (Copper)
io      |   ec120000-ec13ffff : Intel Corp. 82544GC Gigabit Ethernet 
Controller
io      :  (Copper)
io      |   ec160000-ec1600ff : Realtek Semiconductor Co., Ltd. 
RTL-8139/8139C/
io      : 8139C+
io      |   ec161000-ec1617ff : VIA Technologies, Inc. IEEE 1394 Host 
Controlle
io      : r
io      |   ec162000-ec1620ff : VIA Technologies, Inc. USB 2.0
io      | 0000-ffff : PCI IO
io      |   0cf8-0cff : PCI conf1
io      |   d000-d01f : Intel Corp. 82544GC Gigabit Ethernet Controller 
(Copper
io      : )
io      |   d400-d4ff : Realtek Semiconductor Co., Ltd. RTL-8139/8139C/8139C+
io      |   d800-d87f : VIA Technologies, Inc. IEEE 1394 Host Controller
io      |   dc00-dc1f : VIA Technologies, Inc. USB
io      |   e000-e01f : VIA Technologies, Inc. USB (#2)
io      |   e400-e41f : VIA Technologies, Inc. USB (#3)
io      |   e800-e80f : VIA Technologies, Inc. 
VT82C586A/B/VT82C686/A/B/VT823x/
io      : A/C PIPC Bus Master IDE
io      |   ec00-ecff : VIA Technologies, Inc. VT8233/A/8235 AC97 Audio 
Control
io      : ler
loader  | "vmlinuz26" is a valid binary image
exec    | vmlinuz26: Loading
exec    | vmlinuz26: Interpreter section found, contains "/usr/lib/libc.so.1"
exec    | vmlinuz26: Saved 882922 bytes of symbols
exec    | libloader.s.so: Loading
exec    | libloader.s.so: Saved 26225 bytes of symbols
exec    | libloader.s.so: Relocating to 00010000
exec    | libloader.s.so: Linking
exec    | libloader.s.so: Symbol mmap_normal is weak and undefined
exec    | libloader.s.so: Symbol munmap_normal is weak and undefined
exec    | libloader.s.so: Symbol mmap_normal is weak and undefined
exec    | libloader.s.so: Symbol munmap_normal is weak and undefined
exec    | libloader.s.so: Relocating entry 00006340 => 00016340
exec    | libloader.s.so: Setting section flag 0800
exec    | vmlinuz26: Setting section flag 0800
loader  | vmlinuz26: Starting l4env-style application
loader  | vmlinuz26,#f: Starting at l4loader_init (00016bd0)
exec    | vmlinuz26: Linking
exec    | vmlinuz26: Relocating entry 00400000 => 00400000
exec    | vmlinuz26: Packed 719273 bytes of symbols
exec    | vmlinuz26: Packed 1770776 bytes of lines
loader  | vmlinuz26,#f: Continue at l4env_init (00016be0, libloader.s.so)
l4lx    | ======> L4Linux 2.6 starting... <========
l4lx    | Linux version 2.6.16-l4 (root at slackware) (gcc version 3.3.6) #2 Mon 
J
l4lx    : ul 3 08:57:36 CST 2006
l4lx    | Binary name: vmlinuz26
l4lx    | Kernel command line (0 args): 
l4lx    | Image: 00400000 - 006f0000 [3008 KiB].
l4lx    | Areas: Text:     00400000 - 00615000 [2132kB] (a bit longer)
l4lx    |        Data:     00615000 - 0065c50c [285kB]
l4lx    |        Initdata: 00660000 - 00690000 [192kB]
l4lx    |        BSS:      00690000 - 006eee50 [379kB]
l4lx    | l4lx_thread_create: Created thread 0f.03 (tamer)
l4lx    | Using tamed mode.
l4lx    | l4env_linux_startup thread 4.
l4lx    | l4lx_thread_create: Created thread 0f.04 (server)
l4lx    | main thread will be 0f.04
l4lx    | l4env_register_pointer_section: addr = 0065e000 size = 598016
l4lx    |      sec-w-init: virt: 0x0065e000 to 0x006effff [584 KiB]
l4lx    |      sec-w-init: Number of physical regions: 1, 598016 Bytes
l4lx    |      sec-w-init: 1: Phys: 0x01416000 to 0x014a8000, Size:   598016
l4lx    | main thread: received startup message.
l4lx    | Main thread running, waiting...
l4lx    | PF: F.04: pfaddr = 0065e002 pc = 00666c5b (rw)
l4lx    | setup_l4env_memory: Forcing superpages for main memory
l4lx    | Main memory size: 32MB
l4lx    | Got 2048kB of ISA DMA memory.
l4lx    |  ISA DMA memory: virt: 0x00800000 to 0x009fffff [2048 KiB]
l4lx    |  ISA DMA memory: Number of physical regions: 1, 2097152 Bytes
l4lx    |  ISA DMA memory: 1: Phys: 0x0043c000 to 0x0063c000, Size:  2097152
l4lx    |     Main memory: virt: 0x00c00000 to 0x02bfffff [32768 KiB]
l4lx    |     Main memory: Number of physical regions: 1, 33554432 Bytes
l4lx    |     Main memory: 1: Phys: 0x01800000 to 0x03800000, Size: 33554432
l4lx    | Filling lower ptabs...
l4lx    | Done (1643 entries).
l4lx    | PF: F.04: pfaddr = 006852c7 pc = 0066cf84 (rw, T)
l4lx    | PF: F.04: pfaddr = 006844af pc = 00668b73 (rw, T)
l4lx    | PF: F.04: pfaddr = b01fe002 pc = 00016db6 (rw)
l4lx    | PF: F.04: pfaddr = b01ff002 pc = 00016db6 (rw)
l4lx    | l4lx_thread_create: Created thread 0f.05 (timer.i0)
l4lx    | PF: F.04: pfaddr = b02fe002 pc = 00016db6 (rw)
l4lx    | PF: F.04: pfaddr = b02ff002 pc = 00016db6 (rw)
l4lx    | l4lx_thread_create: Created thread 0f.06 (IRQ12)
l4lx    | PF: F.04: pfaddr = b03fe002 pc = 00016db6 (rw)
l4lx    | PF: F.04: pfaddr = b03ff002 pc = 00016db6 (rw)
l4lx    | l4lx_thread_create: Created thread 0f.07 (Idler)
l4lx    | PF: F.04: pfaddr = b04fe002 pc = 00016db6 (rw)
l4lx    | PF: F.04: pfaddr = b04ff002 pc = 00016db6 (rw)
l4lx    | l4lx_thread_create: Created thread 0f.08 (IRQ17)
l4lx    | PF: F.04: pfaddr = b05fe002 pc = 00016db6 (rw)
l4lx    | PF: F.04: pfaddr = b05ff002 pc = 00016db6 (rw)
l4lx    | l4lx_thread_create: Created thread 0f.09 (IRQ16)
l4lx    | PF: F.04: pfaddr = b06fe002 pc = 00016db6 (rw)
l4lx    | PF: F.04: pfaddr = b06ff002 pc = 00016db6 (rw)
l4lx    | l4lx_thread_create: Created thread 0f.0a (IRQ15)
l4lx    | PF: F.04: pfaddr = b07fe002 pc = 00016db6 (rw)
l4lx    | PF: F.04: pfaddr = b07ff002 pc = 00016db6 (rw)
l4lx    | l4lx_thread_create: Created thread 0f.0b (IRQ14)
l4lx    | PF: F.04: pfaddr = b08fe002 pc = 00016db6 (rw)
l4lx    | PF: F.04: pfaddr = b08ff002 pc = 00016db6 (rw)
l4lx    | l4lx_thread_create: Created thread 0f.0c (IRQ13)
l4lx    | PF: F.04: pfaddr = b09fe002 pc = 00016db6 (rw)
l4lx    | PF: F.04: pfaddr = b09ff002 pc = 00016db6 (rw)
l4lx    | l4lx_thread_create: Created thread 0f.0d (IRQ11)
l4lx    | PF: F.04: pfaddr = b0afe002 pc = 00016db6 (rw)
l4lx    | PF: F.04: pfaddr = b0aff002 pc = 00016db6 (rw)
l4lx    | l4lx_thread_create: Created thread 0f.0e (IRQ10)
l4lx    | PF: F.04: pfaddr = b0bfe002 pc = 00016db6 (rw)
l4lx    | PF: F.04: pfaddr = b0bff002 pc = 00016db6 (rw)
l4lx    | l4lx_thread_create: Created thread 0f.0f (IRQ9)
l4lx    | PF: F.04: pfaddr = b0cfe002 pc = 00016db6 (rw)
l4lx    | PF: F.04: pfaddr = b0cff002 pc = 00016db6 (rw)
l4lx    | l4lx_thread_create: Created thread 0f.10 (IRQ7)
l4lx    | PF: F.04: pfaddr = b0dfe002 pc = 00016db6 (rw)
l4lx    | PF: F.04: pfaddr = b0dff002 pc = 00016db6 (rw)
l4lx    | l4lx_thread_create: Created thread 0f.11 (IRQ6)
l4lx    | PF: F.04: pfaddr = b0efe002 pc = 00016db6 (rw)
l4lx    | PF: F.04: pfaddr = b0eff002 pc = 00016db6 (rw)
l4lx    | l4lx_thread_create: Created thread 0f.12 (IRQ5)
l4lx    | PF: F.04: pfaddr = b0ffe002 pc = 00016db6 (rw)
l4lx    | PF: F.04: pfaddr = b0fff002 pc = 00016db6 (rw)
l4lx    | l4lx_thread_create: Created thread 0f.13 (IRQ3)
l4lx    | PF: F.04: pfaddr = b10fe002 pc = 00016db6 (rw)
l4lx    | PF: F.04: pfaddr = b10ff002 pc = 00016db6 (rw)
l4lx    | l4lx_thread_create: Created thread 0f.14 (IRQ1)
l4lx    | panic: going to sleep forever, bye


                                 Cheng




More information about the l4-hackers mailing list