VMWare and the latest Linux kernels

Last week I pulled the 4.0.0-2 kernel from the Debian testing repositories and started using it on my main box. Yesterday morning I try to start VMWare Workstation 11 for the first time since upgrading the kernel, only to have the driver install fail. Some poking around revealed ...

moreā€¦