Hi, after
https://www.redhat.com/archives/vfio-users/2016-September/msg00114.html was not sufficiently answered, resulting in me spending two more days into finding a cure, I'm ready to give up. I'm about to switch to X99. To do it, I need to be sure the mainboard I'm gonna buy does not have the bug I am suffering on. Could you please do a cat /sys/devices/system/clocksource/clocksource0/available_clocksource after a suspend/resume cycle and confirm it shows tsc hpet acpi_pm on your board. If it does, would you please state here what kind of board you have? Thank's a lot! Martin _______________________________________________ vfio-users mailing list vfio-users@redhat.com https://www.redhat.com/mailman/listinfo/vfio-users