On Mon, 2007-05-07 at 14:22 +1000, Paul Mackerras wrote: > Josh Boyer writes: > > > +config HOLLY > > That's a bit too non-specific, I think; please make it PPC_HOLLY. Ok. josh