K 10 svn:author V 6 msmith K 8 svn:date V 27 2001-08-05T23:20:32.000000Z K 7 svn:log V 202 The Intel 440MX ACPI timer seems to work properly, so add it to the list here. Restructure slightly so that adding more devices is easier. Submitted by: Jose Gabriel J Marcelino END