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@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...