Comment 2 for bug 367998

Jake Tremper (jake-wyrr) wrote :

You may want to try:
sudo apt-get install linux-headers-rt