Problems booting L4Linux2.4+L4Env

Tiago Jorge tjpj at lasige.di.fc.ul.pt
Wed Oct 20 18:13:38 CEST 2004


hello to you all.
I'm trying to boot L4Linux 2.4 with the L4Env following the explanation 
that is in L4Linux webpage, i have encontered a problem. "names" is the 
only server that is getting a memory page where he shouldn't.
How can i solve this problem?
(I'm sending the log in attach)

Thaks

Tiago

Welcome to Fiasco(ia32)!
DD-L4(v2)/x86 microkernel (C) 1998-2004 TU Dresden
Rev: Wed Oct 13 15:20:47 2004 compiled with gcc 3.3.2 for Intel Pentium
Performance-critical config option(s) detected:
  CONFIG_SCHED_RTC is on
  CONFIG_NDEBUG is off

Found VMWare: Using normal pic mode
Using the RTC on IRQ 8 (1kHz) for scheduling
CPU: GenuineIntel (6:7:8:0) Model: Pentium III (Katmai) at 498 MHz

  32 Entry I TLB (4K pages)
  64 Entry D TLB (4K pages)
  16 KB L1 I Cache (4-way associative, 32 bytes per line)
  16 KB L1 D Cache (4-way associative, 32 bytes per line)
 512 KB L2 U Cache (4-way associative, 32 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 8 modules at 005f9000-00706175
  total RAM size = 158270 KB (reported by bootloader)
          received 144248 KB RAM from sigma0
                      812 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: Parsing config.
WARNING: couldn't find modname L4Linux task, only storing it's quota
  configured task 0x0d: [ 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 "(nd)/fiasco/log"
     from 005f9000-00602174 to [ 00400000-004064a0 00407000-00434000 ]
     starting at entry 00400000 via trampoline page code 00062154
#05: loading "(nd)/fiasco/log"
     from 005f9000-00602174 to [ 00400000-004064a0 00407000-00434000 ]
     starting at entry 00400000 via trampoline page code 00062154
#06: loading "(nd)/fiasco/dm_phys"
     from 00603000-00618174 to [ 01500000-015126c0 01513000-0151d000 ]
     starting at entry 01500000 via trampoline page code 00063158
#07: loading "(nd)/fiasco/simple_ts -t 300"
     from 00619000-00624174 to [ 01400000-014085e0 01409000-01417000 ]
     starting at entry 01400000 via trampoline page code 00064164
#08: loading "(nd)/fiasco/l4io --noirq"
     from 00625000-00675174 to [ 00b70000-00b930ab 00b94000-00bc7000 ]
     starting at entry 00b70000 via trampoline page code 00065160
#09: loading "(nd)/fiasco/names"
     from 00676000-0067f174 to [ 001c8000-001cec40
  cannot allocate page at 0x001c8000: owned by #01
boot panic

Return reboots, "k" enters L4 kernel debugger...





More information about the l4-hackers mailing list