Geert Uytterhoeven wrote: > Can't you currently compile a kernel that run on e.g. all O2s, > irrespective of the actual CPU type? > It seems so, I've just been teached about it actually. So I think we just have to stick with tlbex.c and perhaps make it smaller... Thanks, Franck