phk 5fdc15af6d Be less draconian about the TSC if APM is configured, use it for
timecounting if APM-BIOS isn't found.
Be just as draconian about SMP as always, but explain it better.
1998-03-16 10:06:58 +00:00
..
1997-09-01 02:08:42 +00:00
1997-08-16 14:07:26 +00:00