Ubuntu
linux package

  1. Bug #814426
  2. Comment #56

Comment 56 for bug 814426

Revision history for this message
Erik Ackermann (domohawk) wrote :

Tested with mainline kernel 3.12.0-031200-generic #201311071835 SMP x86_64, which also exhibits the problem. Updated tags. nohz=off workaround still works.