Handle and preserve segments - kernel bug?
fm3 at os.inf.tu-dresden.de
Wed Jun 29 16:13:11 CEST 2005
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...
## Dept. of Computer Science, Dresden University of Technology, Germany ##
## http://os.inf.tu-dresden.de/~fm3 ##
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Size: 189 bytes
Desc: not available
More information about the l4-hackers