Jürgen, Boris, I've noticed
<6>clocksource: Switched to clocksource tsc as the final clocksource related boot message in a PV Dom0's log with 5.4.2. Is it intentional that it's not the "xen" one that gets used by default? Thanks, Jan _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel