> If this is to be the way things are then then the config files in conf
> that do not generate booting kernels should be removed. IMHO

I agree, but I don't know of any config file in sparc/conf that does not
generate a booting kernel. If you want a sun4c-only kernel, try the
SUN4C kernel as a starting point.

If you remove "options SUN4" from GENERIC, then also remove all "at obio"
declarations.

-pk