mem_layout.h Assertion - L4Linux-2.6 with bmodfs

Julian Grizzard grizzard at gmail.com
Wed Jun 29 18:42:00 CEST 2005 

> </snip> 
> So, where does this come from? This is missing quite some essential
> modules. It somewhat correlates with one of the examples on the website
> but is missing the points being filled out. I guess I need to give a
> full example there too. bmodfs is a replacement for tftp in this
> example, all other modules need to be kept!

Errr, I made it up from the webpage notes ;)  I'm confused.  Based on
your comments, I have made changes to my configuration as described
below.  You can see my new error message at the end.

menu.lst:
title L4Linux-2.6
        root (hd1,0)
        kernel /boot/rmgr -sigma0 task modname "bmodfs" module module module
        modaddr 0x02000000
        module /boot/main26 -nokdb -nowait -serial -comport 1
        module /boot/sigma0
        module /boot/names
        module /boot/log
        module /boot/dm_phys
        module /boot/simple_ts -t 300
        module /boot/rtc
        module /boot/l4io
        #module /boot/tftp -i
        module /boot/l4exec
        module /boot/bmodfs
                module /boot/libloader.s.so
                module /boot/run-script
                module /boot/vmlinuz26
        module /boot/loader --fprov=BMODFS run-script

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

bootup log:
modaddr 0x02000000ack if possible.
Setting module load address to 0x2000000
module /boot/main26 -nokdb -nowait -serial -comport 1
   [Multiboot-module @ 0x2000000, 0x5a1ac bytes]
module /boot/sigma0
   [Multiboot-module @ 0x205b000, 0x46ac bytes]
module /boot/names
   [Multiboot-module @ 0x2060000, 0x9174 bytes]
module /boot/log
   [Multiboot-module @ 0x206a000, 0x82d4 bytes]
module /boot/dm_phys
   [Multiboot-module @ 0x2073000, 0x14534 bytes]
module /boot/simple_ts -t 300
   [Multiboot-module @ 0x2088000, 0xa2f4 bytes]
module /boot/rtc
   [Multiboot-module @ 0x2093000, 0x7174 bytes]
module /boot/l4io
   [Multiboot-module @ 0x209b000, 0x4e174 bytes]
module /boot/l4exec
   [Multiboot-module @ 0x20ea000, 0x2b6f4 bytes]
module /boot/bmodfs
   [Multiboot-module @ 0x2116000, 0x185d4 bytes]
module /boot/libloader.s.so
   [Multiboot-module @ 0x212f000, 0x89368 bytes]
module /boot/run-script
   [Multiboot-module @ 0x21b9000, 0x51 bytes]
module /boot/vmlinuz26
   [Multiboot-module @ 0x21ba000, 0xd3ab2f bytes]
module /boot/loader --fprov=BMODFS run-script
   [Multiboot-module @ 0x2ef5000, 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)

SIGMA0: Hello!
  Found Fiasco: KIP syscalls: no.
  Allocated 324kB for maintenance structures.

RMGR: Stage2
  running on Fiasco
  bootloader loaded 12 modules at 02060000-02f1f175
  total RAM size = 1047423 KB (reported by bootloader)
          received 985236 KB RAM from sigma0
                      816 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 the config options of command line.
  configured task 0x0c: [ 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 "/boot/names"
     from 02060000-02069174 to [ 00240000-00246805 00247000-00250000 ]
     starting at entry 00240000 via trampoline page code 0005a150
#06: loading "/boot/log"
     from 0206a000-020722d4 to [ 00400000-00406be1 00407000-004394f0 ]
     starting at entry 00400000 via trampoline page code 0005b150
#07: loading "/boot/dm_phys"
     from 02073000-02087534 to [ 01500000-0151251a 01513000-0151a3f0 ]
     starting at entry 01500000 via trampoline page code 0005c154
#08: loading "/boot/simple_ts -t 300"
     from 02088000-020922f4 to [ 01400000-0140819a 01409000-01414810 ]
     starting at entry 01400000 via trampoline page code 0005d15c
#09: loading "/boot/rtc"
     from 02093000-0209a174 to [ 01080000-0108470c 01085000-0108a000 ]
     starting at entry 01080000 via trampoline page code 0005e150
#0a: loading "/boot/l4io"
     from 0209b000-020e9174 to [ 00b70000-00b91b8b 00b92000-00bc35ac ]
     starting at entry 00b70000 via trampoline page code 0005f150
#0b: loading "/boot/l4exec"
     from 020ea000-021156f4 to [ 01100000-0112918b 0112a000-011315ac ]
     starting at entry 01100000 via trampoline page code 00060154
#0c: loading "/boot/bmodfs"
     from 02116000-0212e5d4 to [ 01220000-012364ac 01237000-0123c6ac ]
     passing module /boot/libloader.s.so                  [ 0212f000-021b8368 ]
     passing module /boot/run-script                      [ 021b9000-021b9051 ]
     passing module /boot/vmlinuz26                       [ 021ba000-02ef4b2f ]
     starting at entry 01220000 via trampoline page code 00061154
#10: loading "/boot/loader --fprov=BMODFS run-script"
     from 02ef5000-02f1f174 to [ 01300000-0132666b 01327000-01339000 ]
     starting at entry 01300000 via trampoline page code 0006216c

simplets| Configured for 300 tasks.
rtc     | Date:29.06.2005 Time:12:28:33
bmodfs  | Passed the following modules:
bmodfs  |   module "/boot/libloader.s.so" (549kB)
bmodfs  |   module "/boot/run-script" (1kB)
bmodfs  |   module "/boot/vmlinuz26" (13547kB)
io      | OSKit support: using 1024KB at 0x00180000 as heap
exec    | OSKit support: using 4096KB at 0x00400000 as heap (growing)
io      | PCI: Using configuration type 1
io      | PCI: Probing PCI hardware
io      | PCI: Probing PCI hardware (bus 00)
io      | PCI: Ignoring BAR0-3 of IDE controller 00:1f.1
io      | Transparent bridge - Intel Corp. 82801BA/CA/DB/EB PCI Bridge
io      | PCI: Enabling device 00:1f.1 (0005 -> 0007)
io      | 00000000-ffffffff : PCI mem
io      |   80000000-800003ff : Intel Corp. 82801DB Ultra ATA Storage Controlle
io      : r
io      |   e4600000-f46fffff : PCI Bus #01
io      |     e8000000-efffffff : nVidia Corporation NV11GL [Quadro2 MXR/EX]
io      |   f8000000-fbffffff : Intel Corp. 82845 845 (Brookdale) Chipset Host
io      : Bridge
io      |   fc900000-fe9fffff : PCI Bus #01
io      |     fd000000-fdffffff : nVidia Corporation NV11GL [Quadro2 MXR/EX]
io      |   feac0000-feadffff : Intel Corp. 82557/8/9 [Ethernet Pro 100]
io      |   feaff000-feafffff : Intel Corp. 82557/8/9 [Ethernet Pro 100]
io      |   febffc00-febfffff : Intel Corp. 82801DB USB2
io      | 0000-ffff : PCI IO
io      |   0cf8-0cff : PCI conf1
io      |   d800-d81f : Creative Labs SB Live! EMU10k1
io      |   d880-d8bf : Intel Corp. 82557/8/9 [Ethernet Pro 100]
io      |   dc00-dc07 : Creative Labs SB Live! MIDI/Game Port
io      |   e480-e49f : Intel Corp. 82801DB/DBM SMBus Controller
io      |   e800-e81f : Intel Corp. 82801DB USB (Hub #1)
io      |   e880-e89f : Intel Corp. 82801DB USB (Hub #2)
io      |   ec00-ec1f : Intel Corp. 82801DB USB (Hub #3)
io      |   ffa0-ffaf : Intel Corp. 82801DB Ultra ATA Storage Controller
io      | OMEGA0_init(): Using special fully nested PIC mode
loader  | OSKit support: using 128KB at 0x00002000 as heap
loader  | sleeping for 2000 ms
io      | omega0/server/src/irq_threads.c:517:attach_irqs():
io      |  available irqs=[ <!0> 1 <!2> 3 4 5 6 7 <!8> 9 a b c d e f ]
exec    | vmlinuz26: Loading
bmodfs  | [C.2] generic_fprov/examples/bmodfs/dm.c:137:dm_open():
bmodfs  |  Error: Object '/boot//vmlinuz26' not found!
exec    | vmlinuz26: Error -8 (item not found) from file provider, path was "/b
exec    : oot/".
loader  | vmlinuz26: Error -8 (item not found) while loading
loader  | ==> App successfully purged


Help much appreciated!

-Julian

More information about the l4-hackers mailing list