To: Christer Weinigel <christer@...>, Ingo Molnar <mingo@...>, Alan Cox <alan@...>, David P. Reed <dpreed@...>, H. Peter Anvin <hpa@...>, Rene Herman <rene.herman@...>, Paul Rolland <rol@...>, Pavel Machek <pavel@...>, Thomas Gleixner <tglx@...>, <linux-kernel@...>, Ingo Molnar <mingo@...>, <rol@...>
If you overclock, you are on your own. IIRC I've used 13,3 MHz for some time
and used a lower PIO mode to compensate.
Defaulting to 8 MHz and offering an option to set another clock speed
(like idebus=) should be OK.
--