Seems like this is the same bug: http://bugzilla.xensource.com/bugzilla/show_bug.cgi?id=195
For the record:
xm dmesg | grep -i "platform timer" (XEN) Platform timer is 1.193MHz PIT
Seems like this is the same bug: http:// bugzilla. xensource. com/bugzilla/ show_bug. cgi?id= 195
For the record:
xm dmesg | grep -i "platform timer"
(XEN) Platform timer is 1.193MHz PIT