Debian公式のLinux Kernelを使用していたときは、VMware Workstation6が問題なく動いてくれたけど、最新のカーネルをインストールを行い、以下のようにVMWareの設定をするとVMWareコンパイルに失敗しVMWareが使えない。

$ sudo vmware-config.pl

この問題を解決するために、パッチがあるようだ。パッチをダウンロードしrunme.plを実行するだけでいいようだ。この問題はVMware PlayerやVMware Serverなどにも同じような現象が起きているらしく、この方法で解決できるでのではないかと思う。

$ wget http://platan.vc.cvut.cz/ftp/pub/vmware/vmware-any-any-update113.tar.gz
$ tar zxvf vmware-any-any-update113.tar.gz
$ cd vmware-any-any-update113
$ sudo ./runme.pl