100% cpu load on host with 1000hz guest kernels

[Niki Waibel]

yes, the manual says:

11.3 Linux guests
11.3.1 Linux guests may cause a high CPU load
Some Linux guests may cause a high CPU load even if the guest system appears to
be idle. This can be caused by a high timer frequency of the guest kernel. Some
Linux distributions, for example Fedora, ship a Linux kernel configured for a timer
frequency of 1000Hz. We recommend to recompile the guest kernel and to select a
timer frequency of 100Hz.

but i'd like to request an enhancement to fix this.

sure, using a 100hz guest kernel helps, reducing the load on the host. but running 10 100hz guest kernels will give the same problem.

further, running 1000hz kernels on other virtualisation sw works just smoothly. this means, with some effort, it is possible to fix this issue.