hi, On Wed Oct 20, 2004 at 17:13:38 +0100, Tiago Jorge wrote:

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?

The link address of names is somewhat suboptimal. Go to l4/pkg/names/server/src and change the value of DEFAULT_RELOC in Make.rules to something like 0x7e000 or 0x200000 (I have it at 0x200000 right now and it works for me). (Hint: we should change this...) Adam -- Adam adam@os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/

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