Failed Assertion @ auto/kmem.h:162

Sun Nov 27 18:23:13 CET 2005

All,

I'm upgrading my Fiasco/L4Linux setup to the latest CVS version.  My
machine is a Pentium IV with 1 Gig RAM.  Using the same configuration
that worked before, I've run into an assertion problem when the system
boots with the latest CVS.  Below is the contents of menu.lst, L4 kernel
configuration (globalconfig.out), and the boot log showing the assertion
error.  Further, I cannot enter the kernel debugger with "k"; instead,
the offending address changes to 0xf0014fc7 with the same assertion thus
failing to enter the debugger. Any idea what is wrong?

Thanks!

Julian

################ menu.lst ##################
title L4Linux-2.6
        root (hd0,0)
        kernel /boot/l4/rmgr -sigma0 task modname "bmodfs" module module
module
        modaddr 0x02000000
        module /boot/l4/main -nokdb -nowait -serial -comport 1
        module /boot/l4/sigma0
        module /boot/l4/names
        module /boot/l4/log
        module /boot/l4/dm_phys
        module /boot/l4/simple_ts -t 300
        #module /boot/l4/rtc
        module /boot/l4/l4io --noirq
        module /boot/l4/l4exec
        module /boot/l4/bmodfs
                module /boot/l4/libloader.s.so
                module /boot/l4/run-script
                module /boot/vmlinuz26
        module /boot/l4/loader --fprov=BMODFS run-script
############## /boot/l4/run-script ###############
sleep 2
task "vmlinuz26" "noreplacement mem=64M root=/dev/hda1"

################ globalconfig.out ################
#
# Automatically generated, don't edit
#
# Generated on: linux1
# At: Thu, 24 Nov 2005 18:22:02 +0000
# Linux version 2.6.8-2-686 (horms at tabatha.lab.ultramonkey.org) (gcc
version 3.3.5 (Debian 1:3.3.5-12)) #1 Thu May 19 17:53:30 JST 2005

#
# Main menu
#
CONFIG_EXPERIMENTAL=y

#
# Target System Options
#

#
# Target Platform
#
CONFIG_PF_PC=y
CONFIG_PF_UX=n
CONFIG_PF_SA1100=n
CONFIG_PF_XSCALE=n
CONFIG_PF_ISG=n

#
# Target CPU Family
#
CONFIG_IA32=y
CONFIG_ARM=n
CONFIG_AMD64=n

#
# Target processor
#
CONFIG_IA32_486=n
CONFIG_IA32_586=n
CONFIG_IA32_686=n
CONFIG_IA32_P2=n
CONFIG_IA32_P3=n
CONFIG_IA32_P4=y
CONFIG_IA32_PM=n
CONFIG_IA32_K6=n
CONFIG_IA32_K7=n
CONFIG_IA32_K8=n

#
# Target processor
#
CONFIG_AMD64_K8=n

CONFIG_REGPARM3=y

#
# Kernel Options
#

#
# Kernel ABI Version
#
CONFIG_ABI_V2=y
CONFIG_ABI_X0=n

#
# ABI Extensions
#
CONFIG_DECEIT_BIT_DISABLES_SWITCH=y
CONFIG_KIP_SYSCALLS=n
CONFIG_MULTI_IRQ_ATTACH=n
CONFIG_EXCEPTION_IPC=y
CONFIG_SYSCALL_ITER=y
CONFIG_HANDLE_SEGMENTS=y
CONFIG_LOCAL_IPC=n
CONFIG_ACTIVATION_IPC=n
CONFIG_PL0_HACK=n

CONFIG_ASSEMBLER_IPC_SHORTCUT=n
CONFIG_SMALL_SPACES=n
CONFIG_CONTEXT_4K=y

#
# Scheduling Timer
#
CONFIG_SCHED_PIT=y
CONFIG_SCHED_RTC=n
CONFIG_SCHED_APIC=n

CONFIG_ONE_SHOT=n
CONFIG_SYNC_TSC=n
CONFIG_FINE_GRAINED_CPUTIME=n
CONFIG_IO_PROT=n
CONFIG_UX_CON=n
CONFIG_UX_NET=n

#
# Kernel Debugging
#
CONFIG_INLINE=y
CONFIG_NDEBUG=n
CONFIG_PROFILE=n
CONFIG_NO_FRAME_PTR=n
CONFIG_STACK_DEPTH=n
CONFIG_LIST_ALLOC_SANITY=n
CONFIG_BEFORE_IRET_SANITY=n
CONFIG_GSTABS=y
CONFIG_POWERSAVE_GETCHAR=y
CONFIG_SERIAL=y
CONFIG_KDB=y
CONFIG_JDB=y
CONFIG_JDB_LOGGING=n
CONFIG_JDB_ACCOUNTING=n
CONFIG_JDB_MISC=n
CONFIG_WATCHDOG=y

#
# Runtime warning level
#
CONFIG_WARN_NONE=n
CONFIG_WARN_ANY=y

#
# Compiling and Building
#
CONFIG_CC="gcc"
CONFIG_CXX="g++"
CONFIG_VERBOSE=n
CONFIG_MAINTAINER_MODE=n

#
# Derived symbols
#
CONFIG_BIT32=y
CONFIG_XARCH="ia32"
CONFIG_IA32_TARGET="Intel Pentium 4"
CONFIG_WARN_LEVEL=2
CONFIG_BIT64=n
CONFIG_PERF_CNT=y
CONFIG_ABI="v2"
#
# That's all, folks!

################# BOOT LOG #################
[Multiboot-elf, <0x100000:0x20e18:0x0>, <0x121e20:0x49fc:0xa4784>, shtab=0x1
cb2f8, entry=0x100000]
modaddr 0x02000000
Setting module load address to 0x2000000
module /boot/l4/main -nokdb -nowait -serial -comport 1
   [Multiboot-module @ 0x2000000, 0x591ac bytes]
module /boot/l4/sigma0
   [Multiboot-module @ 0x205a000, 0xe94b bytes]
module /boot/l4/names
   [Multiboot-module @ 0x2069000, 0x2a831 bytes]
module /boot/l4/log
   [Multiboot-module @ 0x2094000, 0x26a93 bytes]
module /boot/l4/dm_phys
   [Multiboot-module @ 0x20bb000, 0x5f2b2 bytes]
module /boot/l4/simple_ts -t 300
   [Multiboot-module @ 0x211b000, 0x2ef4f bytes]
module /boot/l4/l4io --noirq
   [Multiboot-module @ 0x214a000, 0x1d1360 bytes]
module /boot/l4/l4exec
   [Multiboot-module @ 0x231c000, 0xf4b72 bytes]
module /boot/l4/bmodfs
   [Multiboot-module @ 0x2411000, 0x88b4c bytes]
module /boot/l4/libloader.s.so
   [Multiboot-module @ 0x249a000, 0x88c3f bytes]
module /boot/l4/run-script
   [Multiboot-module @ 0x2523000, 0x40 bytes]
module /boot/vmlinuz26
   [Multiboot-module @ 0x2524000, 0xd967f6 bytes]
module /boot/l4/loader --fprov=BMODFS run-script
   [Multiboot-module @ 0x32bb000, 0xc8ed6 bytes]

Welcome to Fiasco(ia32)!
DD-L4(v2)/x86 microkernel (C) 1998-2005 TU Dresden
Rev: Tue Nov 22 22:45:10 2005 compiled with gcc 3.3.5 for Intel Pentium 4
Performance-critical config option(s) detected:
  CONFIG_ASSEMBLER_IPC_SHORTCUT is off
  CONFIG_NDEBUG is off
  CONFIG_NO_FRAME_PTR is off

Enabling special fully nested mode for PIC
Using the PIT (i8254) on IRQ 0 for scheduling
CPU: GenuineIntel (F:2:7:9) Model: Pentium 4 (Northwood/Prestonia) at
2519 MHz

 128 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: 20480 bytes (5 pages)

Assertion failed: 'Mem_layout::Tcbs_end == Mem_layout::Tcbs +
(Config::thread_block_size * Config::max_threads())'
  in auto/kmem.h:162
  at f0007cb1

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

Assertion failed: 'Mem_layout::Tcbs_end == Mem_layout::Tcbs +
(Config::thread_block_size * Config::max_threads())'
  in auto/kmem.h:162
  at f0014fc7

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