K 10
svn:author
V 3
phk
K 8
svn:date
V 27
1995-04-10T08:01:27.000000Z
K 7
svn:log
V 166
Sanitize the making of kernels a bit, and make the BOOTCDROM kernel too.
If we can get away with it, it will always just be the GENERIC kernel
with a different name.

END