Poul-Henning Kamp 01feef2c19 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.
1995-04-10 08:01:27 +00:00
..
1995-03-13 20:09:38 +00:00
1995-02-25 22:08:48 +00:00
1995-02-25 22:08:48 +00:00
1995-04-07 01:20:26 +00:00
1995-01-12 12:30:07 +00:00
1995-01-12 10:34:37 +00:00