rmed

Just recently, my Debian machine updated the kernel to 3.11. I should note that I have an Optimus laptop, which means that I need Bumblebee to enable/disable the discrete graphics card and have power management.

This is more of a reminder to myself than anything, but don't forget that linux-headers must be installed in order to build the DKMS modules for the kernel, including the bbswitch module (used for power management) as well as the nvidia module itself (otherwise Bumblebee will not be able to load the driver). Installing the headers is as easy as doing:

# apt-get install linux-headers-`uname -r`

There's that.