> Do you know any clock fix for Debian guest like > kern.timecounter.hardware=tsc + NTPd for OBSD guests?
Sadly I do not. Keep an eye on openbsd.amsterdam - they follow openbsd patches closely and care a lot about this issue. For what it’s worth, CentOS was even worse for me; for every 20 real seconds, 1 passed in centos. :v