Is it possible to recompile the Xen Kernel with: hz=1000 and user_hz=1000 Thanks.
Separate names with a comma.