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...
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
Hello,
On Wed, Oct 20, 2004 at 06:39:27PM +0200, Adam Lackorzynski wrote:
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...)
If you ever encounter those overlapping problems again use some magic and create a file STATIC in l4/pkg/. The syntax of each line of STATIC is:
<link address> <binary name>
My STATIC file look like this:
0x00200000 names 0x00300000 log
Afterwards do "make relink" in l4/pkg/ and your binaries will be (nomen est omen) relinked. The big advantage of this approach is, you do not change any CVS files and won't have to merge.
Hope it helps
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
l4-hackers@os.inf.tu-dresden.de