cgd 3b6b0ae3b1 make kernel name a bit less confusing...

1993-05-06 12:17:06 +00:00

..

i386

make kernel name a bit less confusing...

1993-05-06 12:17:06 +00:00

sparc/compile

…

vax/compile

…