On Wed, Apr 26, 2006 at 11:12:54PM +0100, Ralf Baechle wrote: > In case you're using the default configuration file, it's set to > MIPS32R1 but the 4Kc is an R1 processor. Are you sure you really have a > 4Kc and not a 4Kec? The latter is an R2 processor. Argh. I meant: In case you're using the default configuration file, it's set to MIPS32R2 but the 4Kc is an R1 processor. Are you sure you really have a 4Kc and not a 4Kec? The latter is an R2 processor. Ralf
