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 ##
pgp6rt4KLSPY7.pgp
Description: PGP signature
_______________________________________________ l4-hackers mailing list [email protected] http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
