On Wed, 21 May 2008, Adrian Bunk wrote: > The existing options are named CONFIG_CPU_R4300 and CONFIG_CPU_R4X00, > and they are directly below. > > Reported-by: Robert P. J. Day <rpjday@xxxxxxxxxxxxxx> > Signed-off-by: Adrian Bunk <bunk@xxxxxxxxxx> That's a left-over from an early attempt to work around R4000 errata. It has been since dealt with a bit differently without the need for a separate CPU type. I must have missed this rule by accident. Thanks for the fix. Maciej