mem_layout.h Assertion - L4Linux-2.6 with bmodfs

28 Jun 2005

      All,

I get this assertion from Fiasco when loading L4Linux-2.6 with bmodfs:

Assertion failed: '(Address)addr < 4<<20'
  in auto/mem_layout.h:195
  at f000efe5

Any pointers?  Below is all my configuration information...  Thanks!

-Julian

-------------- CONFIG AND LOGS ----------------------

Here's my system:
2.6GHz Pentium IV
1 GB RAM

Here's my grub config:
title L4Linux-2.6
        root (hd1,0)
        kernel /boot/rmgr task modname "bmodfs" module module module
        modaddr 0x02000000
        module /boot/main26 -nokdb -nowait -serial -comport 1
        module /boot/bmodfs
                module /boot/libloader.s.so
                module /boot/run-script
                module /boot/vmlinuz26
        module /boot/loader --fprov=BMODFS run-script

Here's my run-script contents:
modpath "/boot"
sleep 2
task "vmlinuz26" "noreplacement mem=64M root=/dev/hdc1"

Here's the full logs of bootup failure:
root (hd1,0)
 Filesystem type is ext2fs, partition type 0x83
kernel /boot/rmgr task modname "bmodfs" module module module
   [Multiboot-elf, <0x100000:0x20dd8:0x0>, <0x121de0:0x491c:0xa4784>, shtab=0x1
cb118, entry=0x100000]
modaddr 0x02000000
Setting module load address to 0x2000000
module /boot/main26 -nokdb -nowait -serial -comport 1
   [Multiboot-module @ 0x2000000, 0x5a1ac bytes]
module /boot/bmodfs
   [Multiboot-module @ 0x205b000, 0x185d4 bytes]
module /boot/libloader.s.so
   [Multiboot-module @ 0x2074000, 0x89368 bytes]
module /boot/run-script
   [Multiboot-module @ 0x20fe000, 0x50 bytes]
module /boot/vmlinuz26
   [Multiboot-module @ 0x20ff000, 0xd3ab2f bytes]
module /boot/loader --fprov=BMODFS run-script
   [Multiboot-module @ 0x2e3a000, 0x2a174 bytes]

Welcome to Fiasco(ia32)!
DD-L4(v2)/x86 microkernel (C) 1998-2005 TU Dresden
Rev: Tue Jun 28 12:17:38 2005 compiled with gcc 3.3.5 for Intel Pentium
Performance-critical config option(s) detected:
  CONFIG_SCHED_RTC is on
  CONFIG_NDEBUG is off

Enabling special fully nested mode for PIC
Using the RTC on IRQ 8 (1kHz) for scheduling
CPU: GenuineIntel (F:2:4:9) Model: Pentium 4 (Northwood/Prestonia) at 2524 MHz

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

Freeing init code/data: 16384 bytes (4 pages)

Assertion failed: '(Address)addr < 4<<20'
  in auto/mem_layout.h:195
  at f000efe5

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

mem_layout.h Assertion - L4Linux-2.6 with bmodfs

Julian Grizzard