I reduced this on top of a vanilla kernel to CONFIG_NO_HZ and CONFIG_HIGH_RES_TIMERS. Both are currently set and both need to be unset for the kernel to output anything for me.
I reduced this on top of a vanilla kernel to CONFIG_NO_HZ and CONFIG_ HIGH_RES_ TIMERS. Both are currently set and both need to be unset for the kernel to output anything for me.