Subject: Re: Why is 5k/240 support still #ifdef'ed?
To: Jonathan Stone <>
From: Ted Lemon <>
List: port-pmax
Date: 02/14/1995 08:35:54
I think it should be possible to build a kernel with only support for
one specific machine, yes.   If you want a generic kernel, you should
have to list all the machine types.   So I think the right thing is to
add ifdefs, not remove them.

Of course, this will require people to update their config files
before rebuilding...

Ted Lemon
+1 415 567 7999