Ubuntu
linux package

  1. Bug #620455
  2. Comment #7

Comment 7 for bug 620455

Revision history for this message
bandini (jphilippe-francois) wrote :

I just tried, and it indeed works around the bug.

The bug also disappear when booting with nohz=off