Leave CONFIG_MAPPED kernel disabled for now; it seems like this option doesn't deliver the performance benefict it is expected. The reason it's implemented is primarily because IRIX does the same kernel code replication and they actually seem to benefit. Ralf
