Ubuntu 16.04.3 に Linux 4.13 を入れて VMware のメモリ問題を解決する

Kernel Linux 4.13 が利用可能になった。PPA 経由でインストールできる：

sudo add-apt-repository ppa:canonical-kernel-team/ppa
sudo apt-get update
sudo apt-get install linux-generic-hwe-16.04-edge

linux 4.13 にアップグレードすると、vmware が動かないことがわかる。少し作業が必要だ。

sudo su
cd /tmp
cp /usr/lib/vmware/modules/source/vmmon.tar .
tar xf vmmon.tar
rm vmmon.tar
wget https://raw.githubusercontent.com/mkubecek/vmware-host-modules/fadedd9c8a4dd23f74da2b448572df95666dfe12/vmmon-only/linux/hostif.c
mv -f hostif.c vmmon-only/linux/hostif.c
tar cf vmmon.tar vmmon-only
rm -fr vmmon-only
mv -f vmmon.tar /usr/lib/vmware/modules/source/vmmon.tar
vmware-modconfig --console --install-all

以上。