Toch maar melden dat bij de laatse kernel update de VMware Player het niet doet. Herinstalleren na volledige verwijdering helpt ook niet. De foutmelding heb ik nu wel niet opgeschreven. VMware Player komt wel zeggen dat er geen /dev/vmmon bestaat. Gebruik nu de vorige kernel versie.