Also, I have made gnumach show a timer counter, it does get PIT interrupts every 10ms as expected, not more often.
Samuel -- To unsubscribe from this list: send the line "unsubscribe kvm" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html