Hello Maciej, [R4000 in 64-bit mode] I propably won't find the time to build a patched toolchain for R4000, so my 64-bit experiments will concentrate on the R4600. The R4000 now successfully boots to prompt using a 32-bit kernel. I'll try to enable "Support for 64-bit physical address space" in the next kernel build ;). [R4600 tlbex.c patch] This doesn't seem to be enough. The patch applies almost cleanly on current CVS (offset -1 line), but the resulting kernel (I tried 64 and 32-bit) still stops after "INIT: ...". Markus
