On Fri, Oct 22, 2010 at 16:29, Thomas Bächler <[email protected]> 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

Reply via email to