Guido van Rooij 026d3dc8e3 When moving kernel to kernel.old, also change kern.bootfile.to
kernel.old. This is a solution for only the first install
on a running system, but it's better than it is now.
1995-10-30 20:20:49 +00:00
..
1995-10-29 15:33:36 +00:00
1995-10-29 15:33:36 +00:00
1995-10-12 23:28:41 +00:00
1995-10-29 15:33:36 +00:00
1995-10-29 15:33:36 +00:00
1995-10-29 15:33:36 +00:00
1995-05-30 08:16:23 +00:00
1995-10-29 15:33:36 +00:00
1995-10-14 15:41:10 +00:00
1995-10-23 12:05:24 +00:00
1995-10-29 15:33:36 +00:00
1995-05-30 05:05:38 +00:00
1995-10-21 23:13:11 +00:00
1995-10-29 15:33:36 +00:00