On Fri Dec 01, 2006 at 17:55:47 +0100, FERANDELLE Pascal wrote: > In august, I tested L4Linux on PC, and everything was working fine with > L4Linux-2.6.17. > Now, I get the snapshots of 20061116, and rebuild everything. > The L4Linux kernel is now 2.6.18. > The build is ok, but I can't start it under Fiasco. > > Here is the log : > > Welcome to Fiasco(ia32)! > DD-L4(v2)/x86 microkernel (C) 1998-2006 TU Dresden > Rev: Sat Nov 11 18:26:23 2006 compiled with gcc 3.4.6 for Intel Pentium > Performance-critical config option(s) detected: > CONFIG_ASSEMBLER_IPC_SHORTCUT is off > CONFIG_NDEBUG is off > > Enabling special fully nested mode for PIC > Using the PIT (i8254) on IRQ 0 for scheduling > SERIAL ESC: allocated IRQ 4 for serial uart > SERIAL ESC: allocated IRQ 4 for serial uart > Not using serial hack in slow timer handler. > Absolute KIP Syscalls using: Sysenter > CPU: GenuineIntel (F:4:9:0) Model: Pentium 4E (Prescott/Nocona) at 2793 MHz > > 64 Entry I TLB (4K or 4M pages) > 64 Entry D TLB (4k or 4M pages) > 12K ยต-ops T Cache (8-way associative) > 16 KB L1 D Cache (8-way associative, 64 bytes per line) > 1024 KB L2 U Cache (8-way associative, 64 bytes per line) > > Freeing init code/data: 20480 bytes (5 pages) > > SIGMA0: Hello! > ... > ... > l4lx | ======> L4Linux 2.6 starting... <======== > l4lx | Linux version 2.6.18-l4 ([EMAIL PROTECTED]) (gcc version 3.4.6) #1 > Fri Dec > l4lx : 1 18:41:42 CET 2006 > l4lx | Binary name: vmlinuz26 > l4lx | Kernel command line (7 args): earlyprintk=yes mem=64M video=l4fb > load > l4lx : _ramdisk=1 ramdisk_size=16384 root=/dev/ram l4env_rd=test-rd.rd > l4lx | The running kernel does not have the > l4lx | exception_ipc > l4lx | feature enabled! > > Of course, I have the exception_ipc feature enabled in Fiasco !!!
By any chance, do you have CONFIG_REGPARM enabled? Disable it. (I recently added a check for that config option...) Adam -- Adam [EMAIL PROTECTED] Lackorzynski http://os.inf.tu-dresden.de/~adam/ _______________________________________________ l4-hackers mailing list [email protected] http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
