VirtualBox ed aggiornamento del kernel Linux

VirtualBox (su GNU/Linux) necessita di un modulo (vboxdrv) per il suo funzionamento. Chiaramente se si aggiorna la versione del kernel, è necessario aggiornare anche tale modulo. Su ArchLinux, ad esempio, dopo aver aggiornato il kernel, è disponibile uno script che automaticamente ricompila il modulo di VirtualBox. Da utente root basta eseguire questo comando:

Solitamente anche nelle altre distribuzioni sono disponibili degli script che permettono di aggiornare il modulo di VirtualBox con estrema facilità.