On Wed, Dec 01, 2004 at 02:12:30PM -0600, Wolfgang Bangerth wrote: > I have no idea, however, why __KERNEL__ is apparently set during gcc > bootstrapping. Can you please find out? Whatever it is, *that's* the place we probably need to fixinclude. r~