Fedora19 kernel 3.10 でVMware Playerを動かす。

VMwareの更新よりもFedoraの更新が早いので、Linux 3.10下ではFedora毎度の恒例行事となっているパッチ当てが必要です。
https://communities.vmware.com/thread/446113
http://mysticalzero.blogspot.fi/2013/07/vmblock-patch-for-linux-310-vmware.html
上記より procfs.patch vmblock.3.10.patch を入手。

cd /usr/lib/vmware/modules/source/
cp vmnet.tar /作業ディレクト
cp vmblock.tar /作業ディレクト
tar xf vmnet.tar
tar xf vmblock.tar
cd /作業ディレクトリ/vmnet-only/
patch -p1 < /作業ディレクトリ/procfs.patch
cd /作業ディレクトリ/vmblock-only/
patch -p1 < /作業ディレクトリ/vmblock.3.10.patch
cd
mv vmblock.tar vmblock.tar.old
mv vmnet.tar vmnet.tar.old
tar -cvf vmblock.tar vmblock-only
tar -cvf vmnet.tar vmnet-only
cp vmnet.tar /usr/lib/vmware/modules/source/vmnet.tar
cp vmblock.tar /usr/lib/vmware/modules/source/vmblock.tar
vmware-modconfig --console --install-all