Handle and preserve segments - kernel bug?
Hello, I've tried to start Linux under Fiasco-UX. But I got: l4lx | The running kernel does not have the l4lx | segments l4lx | feature enabled! So I compiled the kernel with support for "Handle and preserve segments". But now I get a kernel bug when trying to start it. Welcome to Fiasco(ux)! [...] Freeing init code/data: 20480 bytes (5 pages) KERNEL BUG at EIP:00043cd5 ESP:000b7998 -- PFA:50100108 ASSERTION_FAILED (Kmem::is_tcb_page_fault((Mword) kesp, 0)) in function static void Usermode::kernel_entry(ucontext*, Mword, Mword, Mword, Mword, Mword, Mword, Mword, Mword) in file [...]/l4/kernel/fiasco/src/kern/ux/usermode.cpp:204 I've tried it with gcc 3.3.5 and gcc 3.4.4. gcc-3.4 -v Reading specs from /usr/lib/gcc/i486-linux/3.4.4/specs Configured with: ../src/configure -v --enable-languages=c,c++,java,f77,pascal,objc,ada,treelang --prefix=/usr --libexecdir=/usr/lib --with-gxx-include-dir=/usr/include/c++/3.4 --enable-shared --with-system-zlib --enable-nls --without-included-gettext --program-suffix=-3.4 --enable-__cxa_atexit --enable-libstdcxx-allocator=mt --enable-clocale=gnu --enable-libstdcxx-debug --enable-java-gc=boehm --enable-java-awt=gtk --disable-werror i486-linux Thread model: posix gcc version 3.4.4 20050314 (prerelease) (Debian 3.4.3-13) gcc-3.3 -v Reading specs from /usr/lib/gcc-lib/i486-linux/3.3.5/specs Configured with: ../src/configure -v --enable-languages=c,c++,java,f77,pascal,objc,ada,treelang --prefix=/usr --mandir=/usr/share/man --infodir=/usr/share/info --with-gxx-include-dir=/usr/include/c++/3.3 --enable-shared --enable-__cxa_atexit --with-system-zlib --enable-nls --without-included-gettext --enable-clocale=gnu --enable-debug --enable-java-gc=boehm --enable-java-awt=xlib --enable-objc-gc i486-linux Thread model: posix gcc version 3.3.5 (Debian 1:3.3.5-13)
Emanuel, On Tuesday 28 June 2005 19:43, Emanuel Thomas wrote:
I've tried to start Linux under Fiasco-UX. But I got:
l4lx | The running kernel does not have the l4lx | segments l4lx | feature enabled!
So I compiled the kernel with support for "Handle and preserve segments". But now I get a kernel bug when trying to start it.
Welcome to Fiasco(ux)! [...] Freeing init code/data: 20480 bytes (5 pages)
Please tell us more: Show the revision date of you Fiasco and the date you last updated L4Linux-2.6. Frank -- ## Dept. of Computer Science, Dresden University of Technology, Germany ## ## http://os.inf.tu-dresden.de/~fm3 ##
Frank Mehnert wrote on 28/06/05 20:17:
Please tell us more: Show the revision date of you Fiasco and the date you last updated L4Linux-2.6.
Welcome to Fiasco(ux)! DD-L4(v2)/x86 microkernel (C) 1998-2005 TU Dresden Rev: Tue Jun 21 19:47:10 2005 compiled with gcc 3.4.4 for Intel Pentium I've checked out the source last week. I've tried also a cvs co today but didn't worked. The co didn't go on after a while (no error msg). I cancelled it after several hours of idle time.
On Tuesday 28 June 2005 21:18, Emanuel Thomas wrote:
Frank Mehnert wrote on 28/06/05 20:17:
Please tell us more: Show the revision date of you Fiasco and the date you last updated L4Linux-2.6.
Welcome to Fiasco(ux)! DD-L4(v2)/x86 microkernel (C) 1998-2005 TU Dresden Rev: Tue Jun 21 19:47:10 2005 compiled with gcc 3.4.4 for Intel Pentium
I've checked out the source last week.
I've tried also a cvs co today but didn't worked. The co didn't go on after a while (no error msg). I cancelled it after several hours of idle time.
Hmm, that's interesting. Could be a pending CVS lock file but I did not find one after a quick look. Please try again, I think that we've fixed a segment issue this week. But it is also possible that the changes are not yet visible at the "outside". Therefore I put the file http://os.inf.tu-dresden.de/~fm3/fiasco-20050628.tgz online. Please try this. Frank -- ## Dept. of Computer Science, Dresden University of Technology, Germany ## ## http://os.inf.tu-dresden.de/~fm3 ##
Frank Mehnert wrote on 28/06/05 21:31:
Hmm, that's interesting. Could be a pending CVS lock file but I did not find one after a quick look. Please try again, I think that we've fixed a segment issue this week. But it is also possible that the changes are not yet visible at the "outside". Therefore I put the file
http://os.inf.tu-dresden.de/~fm3/fiasco-20050628.tgz
online. Please try this.
The problem remains.
On Tue Jun 28, 2005 at 23:02:44 +0200, Emanuel Thomas wrote:
Frank Mehnert wrote on 28/06/05 21:31:
Hmm, that's interesting. Could be a pending CVS lock file but I did not find one after a quick look. Please try again, I think that we've fixed a segment issue this week. But it is also possible that the changes are not yet visible at the "outside". Therefore I put the file
http://os.inf.tu-dresden.de/~fm3/fiasco-20050628.tgz
online. Please try this.
The problem remains.
Can you make your unstripped fiasco image (kernel.image) available somewhere? Adam -- Adam adam@os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/
On Tue Jun 28, 2005 at 23:23:17 +0200, Emanuel Thomas wrote:
Adam Lackorzynski wrote on 28/06/05 23:16:
Can you make your unstripped fiasco image (kernel.image) available somewhere?
www.inf.tu-dresden.de/~s1596862/kernel.image
Looks like this version misses the fix we did some days ago but besides that it starts bootstrapping L4Linux for me. Which host kernel do you run? Any special patches applied? Adam -- Adam adam@os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/
Adam Lackorzynski wrote on 28/06/05 23:39:
Looks like this version misses the fix we did some days ago but besides that it starts bootstrapping L4Linux for me.
I've used the the cvs sources from last week and the patch that Frank Mehnert posted. Today I checked out the new sources. This time it worked. At least I can start Fiasco. There are still bugs in the cvs: in l4/pkg/nethub/server/src/Makefile: "ifneq ("$(WITHOUT_CRYPTO)$(USE_L4CRYPTO)","y")" should that no be "ifneq ("$(WITHOUT_CRYPTO)$(USE_L4CRYPTO)","yn")"? The new dmon package in the cvs requires a petze package which is not available (yet ?).
Which host kernel do you run? Any special patches applied?
It's a Linux 2.6.10 kernel with SMP and HT support. No special patches.
On Wednesday 29 June 2005 14:37, Emanuel Thomas wrote:
There are still bugs in the cvs:
in l4/pkg/nethub/server/src/Makefile:
"ifneq ("$(WITHOUT_CRYPTO)$(USE_L4CRYPTO)","y")"
should that no be "ifneq ("$(WITHOUT_CRYPTO)$(USE_L4CRYPTO)","yn")"?
Thanks.
The new dmon package in the cvs requires a petze package which is not available (yet ?).
Hmm. We will investigate that.
Which host kernel do you run? Any special patches applied?
It's a Linux 2.6.10 kernel with SMP and HT support. No special patches.
SMP and HT does not work with our L4Linux so it is better to disable these config options. Frank -- ## Dept. of Computer Science, Dresden University of Technology, Germany ## ## http://os.inf.tu-dresden.de/~fm3 ##
On Wednesday 29 June 2005 15:58, Frank Mehnert wrote:
Which host kernel do you run? Any special patches applied?
It's a Linux 2.6.10 kernel with SMP and HT support. No special patches.
SMP and HT does not work with our L4Linux so it is better to disable these config options.
Forget this, Adam told me that this is your host kernel and not L4Linux... Frank -- ## Dept. of Computer Science, Dresden University of Technology, Germany ## ## http://os.inf.tu-dresden.de/~fm3 ##
Hi, On Wed, Jun 29, 2005 at 02:37:28PM +0200, Emanuel Thomas wrote:
The new dmon package in the cvs requires a petze package which is not available (yet ?).
Fixed it in local CVS by disabling Petze support by default (patch attached). It will be in remote CVS soon. Regards -- Christian Helmuth TU Dresden, Dept. of CS Operating Systems Group http://os.inf.tu-dresden.de/~ch12
participants (5)
-
Adam Lackorzynski -
Alexander Warg -
Christian Helmuth -
Emanuel Thomas -
Frank Mehnert