When I run the ia64 kernel (3.12, CONFIG_IA64_HP_SIM=y) on ski (1.3.2, x86_64 host with 3.13-rc6 kernel), the clock (as reported by `date`) runs way too fast. 10 seconds on the host is reported as about 211 seconds in the guest, with about 6763 timer ticks delta in /proc/interrupts. The output from /sbin/hwclock advances at the correct rate, however. Any ideas what might be causing this? Kernel bug or ski bug? /Mikael -- To unsubscribe from this list: send the line "unsubscribe linux-ia64" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html