Ralf Baechle wrote:
it's certainly not as well tested as 4k pages but several people have reported success, most recently also on 32-bit kernels. Btw, r4k is a bit ambigous, did you mean R4000 or 4K?
mostly R4000-like MIPS32en, actually
Ralf
regards, Samium Gromoff