Hi Ward
Very nice!
:-)
They still work, but I've just verified that the mainline v2 tree now also works. So it's easier now :) I'm planning to update the tutorial soon; give me a couple of days.
Ok. Current kernels only need "acpi_use_timer_override" as cmdline option for successfull booting.
ST