Ubuntuがカーネルをアップグレードしたいときはいつでも、ヘッダーを同時にアップグレードしないようです。これにより、ワイヤレスおよび仮想ボックスドライバーなどの特定のドライバーが再構築されなくなります。更新後にヘッダーを常に手動でインストールしてから、virtualboxドライバーを再構築する必要があります
Sudo apt-get install linux-headers-3.5.0-31-generic
Sudo /etc/init.d/vboxdrv setup
ヘッダーを同時に更新する方法はありますか?自宅でやると、非常にイライラすることがあります。ワイヤレスのみを使用し、更新後にイーサネットケーブルを抜いてプラグインしない限り、ヘッダーを更新できません。
カーネルヘッダーの特定のバージョンをインストールした場合、それらはアップグレードされません。 header-genericをインストールする必要があります
Sudo apt-get install linux-headers-generic
-generic headerパッケージは、linux-imageが更新されるたびにヘッダーを更新します。