Dopo aver aggiornato il kernel, VirtualBox, come al solito, si è lamentato del mancato caricamento del driver del kernel di VirtualBox Linux (vboxdrv) e ho dovuto eseguire il comando seguente:
sudo /sbin/rcvboxdrv setup
Purtroppo, questa volta, l'esecuzione del rcvboxdrv setup
messaggio non è riuscita Bad argument setup
. Immagino che questo sia un bug di regressione introdotto nel recente pacchetto VirtualBox sulla pagina di Oracle.
Come risolvere il problema ed essere in grado di eseguire VirtualBox?
sudo apt-get install --reinstall virtualbox-5.0
risolto il problema.