Perché devo ricaricare i moduli del kernel per virtualbox dopo un aggiornamento del kernel?

Dopo l'ultimo aggiornamento del kernel in Ubuntu 12.10 ho dovuto ricaricare manualmente due moduli del kernel per Virtualbox.

modprobe vboxdrv e modprobe vboxnetflt

Non so abbastanza del sistema per dire se si tratta di un bug o se dovrebbe essere così, ma è piuttosto scomodo. Essendo un nuovo utente di Ubuntu, è stato abbastanza tempo scoprire cosa bisogna fare.

È stato un aggiornamento automatico, che mi ha chiesto di riavviare al termine. Dopo il riavvio, le macchine virtuali non funzionerebbero finché non avessi ricaricato i moduli.

Quindi le mie domande sono: è normale? Accadrà con altri pacchetti o solo Virtualbox? Il programma di aggiornamento dovrebbe farlo automaticamente? Devo presentare una segnalazione di bug e, in caso affermativo, a chi?

I moduli host VirtualBox sono compilati dal codice sorgente sul tuo computer. I moduli per un kernel non necessariamente funzioneranno (o funzioneranno correttamente) su un altro kernel. In genere vengono ricompilati dopo l'aggiornamento del kernel.

Quando installi una nuova versione del kernel, il tuo vecchio kernel è ancora in esecuzione. Come dice Javier Rivera , è necessario riavviare per usare il nuovo kernel.

Quindi, se il tuo obiettivo è eseguire VirtualBox sul nuovo kernel , devi riavviare; i moduli verranno caricati quando lo fai (dopo essere stato ricostruito dalla fonte, se necessario).

Tuttavia, se il tuo obiettivo è usare i vecchi moduli con il vecchio kernel, puoi ricaricarli manualmente modprobe(come hai già fatto).

Se ritieni che sia un bug che i moduli di VirtualBox non continuino a funzionare per il kernel in esecuzione prima del riavvio, puoi segnalarlo. Se stai usando la versione di VirtualBox fornita ufficialmente in Ubuntu (piuttosto che la versione dalla fonte del software Oracle), ti consiglio di segnalarla contro VirtualBox a valle (cioè contro VirtualBox di Ubuntu). Si prega di leggere attentamente questa guida prima. Ci sono anche informazioni utili sulla segnalazione di bug in questa domanda .

Se riesci a produrlo con la versione upstream di VirtualBox ( specialmente se succede su sistemi non Ubuntu, ma non credo sia essenziale qui), ti consiglio di segnalarlo (o anche di segnalarlo) a monte (cerca prima).

^{Consiglio di non accettare questa risposta immediatamente; forse qualcuno può spiegare meglio perché i moduli sono scaricati.}

Se è stato necessario eseguire '/etc/init.d/vboxdrv setup' dopo l'aggiornamento e prima di caricare i nuovi moduli del kernel, assicurarsi che dkms sia installato e aggiornato correttamente. Questo è il componente che ha ricompilato i moduli al riavvio dopo l'aggiornamento del kernel, inoltre dovrebbe caricare i moduli al termine. Questa è l'unica circostanza in cui ho potuto far fallire il mio test. In caso contrario, seguirei il consiglio di Eliah e presenterei una segnalazione di bug.