On Fri, Oct 22, 2010 at 16:29, Thomas Bächler <thomas at archlinux.org> wrote: > Playing around here might help or give ideas. Oh, thanks. It seems I only have acpi_pm. Is that normal? $ cat available_clocksource acpi_pm $ cat current_clocksource acpi_pm -- János