Problems booting L4Linux2.4+L4Env

[Leon]

Tiago,

I've also seen this problem appearing in recent CVS checkouts...

The following worked for me:
In file /l4/pkg/names/server/src/Make.rules change the address at line
DEFAULT_RELOC_x86	= 0x001c8000
to
DEFAULT_RELOC_x86	= 0x001cb000
You might have to increment or change this address completely to get it to  
load.

Cheers
Leon


On Wed, 20 Oct 2004 17:13:38 +0100, Tiago Jorge <tjpj at lasige.di.fc.ul.pt>  
wrote:

> 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...
>
>
> _______________________________________________
> l4-hackers mailing list
> l4-hackers at os.inf.tu-dresden.de
> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers