警告：在系统更新时，如非必要，尽量不要选择升级内核。
Ubuntu 18.04 系统升级后，发现内核从 4.18 升级到 5.x，从而导致 VMware Workstation 启动主动更新，但总会显示 vmmon 和 vmnet 俩模块编译失败。
感谢 Michal Kubeček 的补丁救命：
$ git clone -b workstation-15.0.2 https://github.com/mkubecek/vmware-host-modules.git $ cd vmware-host-modules $ tar -cf vmmon.tar vmmon-only $ tar -cf vmnet.tar vmnet-only $ sudo cp -v vmmon.tar vmnet.tar /usr/lib/vmware/modules/source/ $ sudo vmware-modconfig --console --install-all
经测试，上述补丁对内核版本 5.0 有效，但当内核版本升级到 5.3 时失效。 故果断放弃 VMware Workstation，而使用 VirtualBox 取代之。
如要卸载 VMware Workstation, 命令为，
$ sudo vmware-installer -u vmware-workstation
内核升级也会影响 VirtualBox 的使用。
在内核升级后，先卸载安装的 VirtualBox，然后重新安装即可，
$ sudo apt-get install virtualbox
$ sudo apt-get install virtualbox-guest-additions-iso
如果要在虚拟机内使用 USB 功能，则还要安装，
$ sudo apt-get install virtualbox-ext-pack
完。