L4Linux (dm_phys?) problem

Jugwan Eom zugwan at postech.ac.kr
Mon Dec 26 21:19:52 CET 2005


Hello,

I have a problem with runnig L4Linux. On both native and ux, the error 
is similar. (see the following log)
Before this problem happened, I didn't any problem.
IMHO, dm_phys seems to be the source of this error.
I tried different mode (uclibc, dietlibc) with the same error.

Best regards,
Jugwan

1) On ux
----------------------------------------------------------------------------------------------------------------------
zugwan at getgid:~/boot/l4.oskit/runux$ ./lx con
/home/zugwan/boot/l4.oskit/fiasco/fiasco -m 256 -symbols 
/home/zugwan/boot/l4.oskit/fiasco/Symbols -lines 
/home/zugwan/boot/l4.oskit/fiasco/Lines -rmgr 
/home/zugwan/boot/l4.oskit/l4v2/rmgr-ux -symbols -lines -sigma0 
/home/zugwan/boot/l4.oskit/l4v2/sigma0-ux -fb_program 
/home/zugwan/boot/l4.oskit/fiasco/ux_con -irq0 
/home/zugwan/boot/l4.oskit/fiasco/irq0 -t 32768 -G 640x480 at 16 -l 
/home/zugwan/boot/l4.oskit/l4v2/names  -l 
/home/zugwan/boot/l4.oskit/l4v2/log -l 
/home/zugwan/boot/l4.oskit/l4v2/dm_phys -l 
/home/zugwan/boot/l4.oskit/l4v2/simple_ts  -l 
/home/zugwan/boot/l4.oskit/l4v2/fuxfprov -n9 -l 
/home/zugwan/boot/l4.oskit/l4v2/rtc-ux -n10 -l 
/home/zugwan/boot/l4.oskit/l4v2/l4exec -l 
/home/zugwan/boot/l4.oskit/l4v2/con-ux  -n12 -l 
/home/zugwan/boot/l4.oskit/l4v2/loader  
/home/zugwan/boot/l4.oskit/l4v2/run 
/home/zugwan/boot/l4.oskit/cfg/l4linux26.ux


Fiasco-UX on Linux 2.6.11 (i686)
Native Syscall Map: 0x1600
Mapped 256 MB Memory + 4096 KB Framebuffer + 4 MB Input Area on FD 3

Loading Module 0x00090000-0x00095060 
[/home/zugwan/boot/l4.oskit/l4v2/sigma0-ux]
Loading Module 0x00100000-0x001c6220 
[/home/zugwan/boot/l4.oskit/l4v2/rmgr-ux]
Copying Module 0x0ea66000-0x0ea84685 
[/home/zugwan/boot/l4.oskit/fiasco/Symbols]
Copying Module 0x0ea33000-0x0ea65cdd 
[/home/zugwan/boot/l4.oskit/fiasco/Lines]
Copying Module 0x0ea07000-0x0ea32a7e [/home/zugwan/boot/l4.oskit/l4v2/names]
Copying Module 0x0e9df000-0x0ea066c1 [/home/zugwan/boot/l4.oskit/l4v2/log]
Copying Module 0x0e97d000-0x0e9de1fb 
[/home/zugwan/boot/l4.oskit/l4v2/dm_phys]
Copying Module 0x0e94d000-0x0e97cd2b 
[/home/zugwan/boot/l4.oskit/l4v2/simple_ts]
Copying Module 0x0e8a4000-0x0e94cdc1 
[/home/zugwan/boot/l4.oskit/l4v2/fuxfprov]
Copying Module 0x0e880000-0x0e8a345d 
[/home/zugwan/boot/l4.oskit/l4v2/rtc-ux]
Copying Module 0x0e784000-0x0e87fcfa 
[/home/zugwan/boot/l4.oskit/l4v2/l4exec]
Copying Module 0x0e6b1000-0x0e783b26 
[/home/zugwan/boot/l4.oskit/l4v2/con-ux]
Copying Module 0x0e5ea000-0x0e6b0c9a 
[/home/zugwan/boot/l4.oskit/l4v2/loader]

Bootstrapping...

Welcome to Fiasco(ux)!
DD-L4(v2)/x86 microkernel (C) 1998-2005 TU Dresden
Rev: Thu Dec 22 23:02:20 2005 compiled with gcc 3.4.4 for Intel Pentium

Starting Framebuffer: 640x480 at 16

CPU: GenuineIntel (F:4:1:0) Model: Pentium 4E (Prescott/Nocona) at 3190 MHz

  64 Entry I TLB (4K or 4M pages)
  64 Entry D TLB (4k or 4M pages)
 12K \uffff-ops T Cache (8-way associative)
  16 KB L1 D Cache (8-way associative, 64 bytes per line)
1024 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: no.
  Allocated 68kB for maintenance structures.

RMGR: Hello!
  running on Fiasco
  bootloader loaded 9 modules at 0e5ea000-0ea84686
  L4 symbols at 0e5cb000-0e5e9687 (121kB), lines at 0e598000-0e5cacdd 
(203kB)
  total RAM size = 261120 KB (reported by bootloader)
          received 239296 KB RAM from sigma0
                     1128 KB reserved for RMGR
  received no I/O ports
  attached irqs = [ <!0> 1 2 3 4 5 6 7 8 9 a b c d e f ]

RMGR: Starting tasks.
#05: loading "/home/zugwan/boot/l4.oskit/l4v2/names "
     from 0ea07000-0ea32a7e to [ 00240000-00246812 00247000-00253000 ]
     starting at entry 00240000 via trampoline page code 0000c46c
     symbols at 0ea86000-0ea88000 (8kB), lines at 0ea81000-0ea86000 (20kB)
#06: loading "/home/zugwan/boot/l4.oskit/l4v2/log"
     from 0e9df000-0ea066c1 to [ 00400000-00406c31 00407000-00439510 ]
     starting at entry 00400000 via trampoline page code 0000d468
     symbols at 0ea7f000-0ea81000 (8kB), lines at 0ea7a000-0ea7f000 (20kB)
#07: loading "/home/zugwan/boot/l4.oskit/l4v2/dm_phys "
     from 0e97d000-0e9de1fb to [ 01500000-01511ca2 01512000-015193d0 ]
     starting at entry 01500000 via trampoline page code 0000e470
     symbols at 0ea76000-0ea7a000 (16kB), lines at 0ea6a000-0ea76000 (48kB)
#08: loading "/home/zugwan/boot/l4.oskit/l4v2/simple_ts "
     from 0e94d000-0e97cd2b to [ 01400000-01407ede 01408000-01413830 ]
     starting at entry 01400000 via trampoline page code 0000f470
     symbols at 0ea68000-0ea6a000 (8kB), lines at 0ea62000-0ea68000 (24kB)
#09: loading "/home/zugwan/boot/l4.oskit/l4v2/fuxfprov"
     from 0e8a4000-0e94cdc1 to [ 00500000-00521d4a 00522000-0053e000 ]
     starting at entry 00500000 via trampoline page code 00010470
     symbols at 0ea5d000-0ea62000 (20kB), lines at 0ea4a000-0ea5d000 (76kB)
#0a: loading "/home/zugwan/boot/l4.oskit/l4v2/rtc-ux"
     from 0e880000-0e8a345d to [ 01080000-01084abd 01085000-0108a000 ]
     starting at entry 01080000 via trampoline page code 0001146c
     symbols at 0ea48000-0ea4a000 (8kB), lines at 0ea44000-0ea48000 (16kB)
#0b: loading "/home/zugwan/boot/l4.oskit/l4v2/l4exec"
     from 0e784000-0e87fcfa to [ 01100000-01127ec2 01128000-01132000 ]
     starting at entry 01100000 via trampoline page code 0001246c
     symbols at 0ea3c000-0ea44000 (32kB), lines at 0ea24000-0ea3c000 (96kB)
#0c: loading "/home/zugwan/boot/l4.oskit/l4v2/con-ux "
     from 0e6b1000-0e783b26 to [ 00b00000-00b242da 00b25000-00b30000 ]
     starting at entry 00b00000 via trampoline page code 0001346c
     symbols at 0ea1d000-0ea24000 (28kB), lines at 0ea05000-0ea1d000 (96kB)
#0d: loading "/home/zugwan/boot/l4.oskit/l4v2/loader  
/home/zugwan/boot/l4.oskit/l4v2/run 
/home/zugwan/boot/l4.oskit/cfg/l4linux26.ux"
     from 0e5ea000-0e6b0c9a to [ 01300000-013253f6 01326000-01338000 ]
     starting at entry 01300000 via trampoline page code 000144bc
     symbols at 0e9ff000-0ea05000 (24kB), lines at 0e9e9000-0e9ff000 (88kB)

simplets| Configured for 64 tasks.
DMphys  |   
(0x000161f8-0x000181f8),(0x00016258-0x00020000),(0x00102000-0x00103
DMphys  : 000)
DMphys  | [7.0] dm_phys/server/src/pages.c:249:__add_area():
DMphys  |  DMphys: new area overlaps existing area!

--PANIC, 'g' for exit-------------------------------ESP:01513ab0 
EIP:01502146
(7.00) jdb: ^
Exiting, wait...

2) On native
--------------------------------------------------------------------------------------------------------------------
RMGR: Stage1
  Using extended multiboot info
  loading (hd1,0)/oskit/l4/v2/sigma0
  loading kernel (hd1,0)/oskit/l4/v2/fiasco -nokdb -nowait -serial_esc 
-comspeed 115200 -comport 1
  kernel at 00001000-003906a4
  detected new-style DD-L4(v2)/Fiasco
  configuring sigma0: 00090000-00096000, start: 00090000
  reserve modules memory range: 02055000-0455ec9b
  starting kernel (hd1,0)/oskit/l4/v2/fiasco -nokdb -nowait -serial_esc 
-comspeed 115200 -comport 1 proto=0x101fc0 @ 0x0030090c

Welcome to Fiasco(ia32)!
DD-L4(v2)/x86 microkernel (C) 1998-2005 TU Dresden
Rev: Thu Dec 22 23:02:20 2005 compiled with gcc 3.4.4 for Intel Pentium
Performance-critical config option(s) detected:
  CONFIG_ASSEMBLER_IPC_SHORTCUT is off
  CONFIG_NDEBUG is off

Enabling special fully nested mode for PIC
Using the PIT (i8254) on IRQ 0 for scheduling
CPU: GenuineIntel (F:4:8:0) Model: Pentium 4E (Prescott/Nocona) at 3190 MHz

  64 Entry I TLB (4K or 4M pages)
  64 Entry D TLB (4k or 4M pages)
 12K \uffff-ops T Cache (8-way associative)
  16 KB L1 D Cache (8-way associative, 64 bytes per line)
1024 KB L2 U Cache (8-way associative, 64 bytes per line)

Freeing init code/data: 20480 bytes (5 pages)

SIGMA0: Hello!
  Found Fiasco: KIP syscalls: no.
  Allocated 107kB for maintenance structures.

RMGR: Stage2
  running on Fiasco
  bootloader loaded 17 modules at 02065000-0455ec9b
  total RAM size = 158270 KB (reported by bootloader)
          received 144292 KB RAM from sigma0
                      812 KB reserved for RMGR
  My symbols at 08e6c000-08e6f000 (12kB), lines at 08e60000-08e6c000 (48kB)
  received no I/O ports
  attached irqs = [ <!0> 1 <!2> 3 <!4> 5 6 7 8 9 a b c d e f ]

RMGR: Parsing the config options of command line.
  configured task 0x0c: [ m:0,ffffffff,ffffffff hm:0,ffffffff,ffffffff
     t:0,ffff,ffff i:ffff lmcp:ffff s:0,ff,ff mcp:ff prio:10 small:ff ]
  log_mask: 00000000, log_types: 00000000

RMGR: Starting tasks.
#05: loading "(hd1,0)/oskit/l4/v2/names"
     from 02065000-02090a7e to [ 00240000-00246812 00247000-00253000 ]
     starting at entry 00240000 via trampoline page code 00056460
     symbols at 08e5e000-08e60000 (8kB), lines at 08e59000-08e5e000 (20kB)
#06: loading "(hd1,0)/oskit/l4/v2/log"
     from 02091000-020b86c1 to [ 00400000-00406c31 00407000-00439510 ]
     starting at entry 00400000 via trampoline page code 0005745c
     symbols at 08e57000-08e59000 (8kB), lines at 08e52000-08e57000 (20kB)
#07: loading "(hd1,0)/oskit/l4/v2/dm_phys --isa=0x00800000 -v"
     from 020b9000-0211a1fb to [ 01500000-01511ca2 01512000-015193d0 ]
     starting at entry 01500000 via trampoline page code 00058474
     symbols at 08e4e000-08e52000 (16kB), lines at 08e42000-08e4e000 (48kB)
#08: loading "(hd1,0)/oskit/l4/v2/simple_ts -t 380"
     from 0211b000-0214ad2b to [ 01400000-01407ede 01408000-01413830 ]
     starting at entry 01400000 via trampoline page code 0005946c
     symbols at 08e40000-08e42000 (8kB), lines at 08e3a000-08e40000 (24kB)
#09: loading "(hd1,0)/oskit/l4/v2/rtc"
     from 0214b000-0216ceca to [ 01080000-01084b69 01085000-0108a000 ]
     starting at entry 01080000 via trampoline page code 0005a45c
     symbols at 08e38000-08e3a000 (8kB), lines at 08e34000-08e38000 (16kB)
#0a: loading "(hd1,0)/oskit/l4/v2/l4io"
     from 0216d000-0233e01b to [ 00b80000-00ba237e 00ba3000-00bd7000 ]
     starting at entry 00b80000 via trampoline page code 0005b460
     symbols at 08dfc000-08e34000 (224kB), lines at 08de5000-08dfc000 (92kB)
#0b: loading "(hd1,0)/oskit/l4/v2/omega0 --l4io"
     from 0233f000-02374bd0 to [ 00360000-003683d5 00369000-0038257c ]
     starting at entry 00360000 via trampoline page code 0005c468
     symbols at 08de3000-08de5000 (8kB), lines at 08ddc000-08de3000 (28kB)
#0c: loading "(hd1,0)/oskit/l4/v2/bmodfs"
     from 02375000-0240047f to [ 01220000-0123634c 01237000-0123f000 ]
     passing module (hd1,0)/oskit/l4/v2/libloader.s.so    [ 
02401000-0248de37 ]
     passing module (hd0,0)/l4/cfg/run.bmodfs.cfg         [ 
0248e000-0248e078 ]
     passing module (hd1,0)/oskit/l4/v2/run               [ 
0248f000-024dc6e7 ]
     passing module (hd1,0)/oskit/l4/lx/vmlinuz26         [ 
024dd000-0322576b ]
     passing module (hd0,0)/l4/cfg/lx/l4linux26_rd.cfg    [ 
03226000-0322609b ]
     passing module (hd0,0)/l4/rd/rd1                     [ 
03227000-04227000 ]
     starting at entry 01220000 via trampoline page code 0005d460
     symbols at 08dd7000-08ddc000 (20kB), lines at 08dc8000-08dd7000 (60kB)
#13: loading "(hd1,0)/oskit/l4/v2/l4exec"
     from 04227000-04322cfa to [ 01100000-01127ec2 01128000-01132000 ]
     starting at entry 01100000 via trampoline page code 0005e460
     symbols at 08dc0000-08dc8000 (32kB), lines at 08da8000-08dc0000 (96kB)
#14: loading "(hd1,0)/oskit/l4/v2/con --l4io"
     from 04323000-04497302 to [ 00b00000-00b4e4ba 00b4f000-00b61000 ]
     starting at entry 00b00000 via trampoline page code 0005f464
     symbols at 08d9b000-08da8000 (52kB), lines at 08d69000-08d9b000 (200kB)
#15: loading "(hd1,0)/oskit/l4/v2/loader --fprov=BMODFS run.bmodfs.cfg 
l4linux26
_rd.cfg"
     from 04498000-0455ec9a to [ 01300000-013253f6 01326000-01338000 ]
     starting at entry 01300000 via trampoline page code 00060490
     symbols at 08d63000-08d69000 (24kB), lines at 08d4d000-08d63000 (88kB)

DMphys  | DMphys memory map:
DMphys  |   phys. memory 0x00000000-0x09af0000 (from L4 kernel info page)
DMphys  |   using 0x00100000-0x09af0000
DMphys  |        Memory area      Pool  PS  Flags
DMphys  |   0x00000000-0x00100000  --   --  RESERVED
DMphys  |   0x00100000-0x00119000   7   12  MAPPED
DMphys  |   0x00119000-0x00193000  --   --  DENIED
DMphys  |   0x00193000-0x00240000   7   12  MAPPED
DMphys  |   0x00240000-0x00253000  --   --  DENIED
DMphys  |   0x00253000-0x00360000   7   12  MAPPED
DMphys  |   0x00360000-0x00383000  --   --  DENIED
DMphys  |   0x00383000-0x00400000   7   12  MAPPED
DMphys  |   0x00400000-0x0043a000  --   --  DENIED
DMphys  |   0x0043a000-0x009ea000   7   12  MAPPED
DMphys  |   0x009ea000-0x00b00000   0   12  MAPPED
DMphys  |   0x00b00000-0x00b61000  --   --  DENIED
DMphys  |   0x00b61000-0x00b80000   0   12  MAPPED
DMphys  |   0x00b80000-0x00bd7000  --   --  DENIED
DMphys  |   0x00bd7000-0x00c00000   0   12  MAPPED
DMphys  |   0x00c00000-0x01000000   0   22  MAPPED
DMphys  |   0x01000000-0x01080000   0   12  MAPPED
DMphys  |   0x01080000-0x0108a000  --   --  DENIED
DMphys  |   0x0108a000-0x01100000   0   12  MAPPED
DMphys  |   0x01100000-0x01132000  --   --  DENIED
DMphys  |   0x01132000-0x01220000   0   12  MAPPED
DMphys  |   0x01220000-0x0123f000  --   --  DENIED
DMphys  |   0x0123f000-0x01300000   0   12  MAPPED
DMphys  |   0x01300000-0x01338000  --   --  DENIED
DMphys  |   0x01338000-0x01400000   0   12  MAPPED
DMphys  |   0x01400000-0x01414000  --   --  DENIED
DMphys  |   0x01414000-0x01500000   0   12  MAPPED
DMphys  |   0x01500000-0x0151a000  --   --  RESERVED
DMphys  |   0x0151a000-0x01800000   0   12  MAPPED
DMphys  |   0x01800000-0x02400000   0   22  MAPPED
DMphys  |   0x02400000-0x02401000   0   12  MAPPED
DMphys  |   0x02401000-0x04227000  --   --  DENIED
DMphys  |   0x04227000-0x04400000   0   12  MAPPED
DMphys  |   0x04400000-0x08c00000   0   22  MAPPED
DMphys  |   0x08c00000-0x08d4d000   0   12  MAPPED
DMphys  |   0x08d4d000-0x09af0000  --   --  DENIED
DMphys  |
DMphys  | DMphys memory pools:
DMphys  |   pool 0 (Default memory pool):
DMphys  |   size: 102160KB total, 102160KB free,  32KB reserved
DMphys  |     0x009ea000-0x00b00000 (  1112KB,    1MB)
DMphys  |     0x00b61000-0x00b80000 (   124KB,    0MB)
DMphys  |     0x00bd7000-0x01080000 (  4772KB,    5MB)
DMphys  |     0x0108a000-0x01100000 (   472KB,    0MB)
DMphys  |     0x01132000-0x01220000 (   952KB,    1MB)
DMphys  |     0x0123f000-0x01300000 (   772KB,    1MB)
DMphys  |     0x01338000-0x01400000 (   800KB,    1MB)
DMphys  |     0x01414000-0x01500000 (   944KB,    1MB)
DMphys  |     0x0151a000-0x02401000 ( 15260KB,   15MB)
DMphys  |     0x04227000-0x08d4d000 ( 76952KB,   75MB)
DMphys  |   pool 7 (ISA DMA memory pool):
DMphys  |   size:   8192KB total,   8192KB free,   0KB reserved
DMphys  |     0x00100000-0x00119000 (   100KB,    0MB)
DMphys  |     0x00193000-0x00240000 (   692KB,    1MB)
DMphys  |     0x00253000-0x00360000 (  1076KB,    1MB)
DMphys  |     0x00383000-0x00400000 (   500KB,    0MB)
DMphys  |     0x0043a000-0x009ea000 (  5824KB,    6MB)
simplets| Configured for 380 tasks.
rtc     | Date:26.12.2005 Time:16:48:44

RMGR: task a.00 at 00b99b61 is trying to get page 00100000 allocated by 
task 7

    ---------------------------------------------------------IP: 0011b7fa
    --double page fault
(4.00) jdb:









More information about the l4-hackers mailing list