Maciej W. Rozycki wrote: > What would be the gain for the kernel from using "-march=4ksd" rather > than "-march=mips32r2"? > It actually results in a kernel image ~30kbytes smaller for the former case. It has been discussed sometimes ago on this list. I'm sorry but I don't know why... > > What if you want to run a single kernel image regardless of the CPU > installed in the system. Rebuilding the kernel (or having to keep a large > collection of binaries) just because you want to swap the CPU does not > seem like a terribly attractive idea. Some systems come with their CPU(s) > on a daughtercard (each), you know... > ok, I wasn't aware about this. You could have started by this point ;) So now I think the right direction is to stick with tlbex.c and make it smaller like Ralf did. Thanks, Franck