現在 4.15.0-124-generic カーネルを実行している 18.04 ホスト A があります。
最新版は4.15.0-126-genericです。
ホスト A は、linux-generic、linux-headers-generic、linux-image-generic を保留にしていました。これは、カーネルが変更されて、Nvidia から手動でインストールされた nvidia ドライバーが混乱しないようにするためです。これは、研究者がその安定性を必要としていたために行われました。
保留を解除し、apt update、apt upgrade を実行しましたが、新しいカーネルが「見つかりません」。
/etc/apt/sources.list ファイルをホスト B と比較しましたが、ホストは同一でした。
どちらもカーネル更新のために同じリポジトリを呼び出していますが、A はそれらを「認識」していません。
追加で試したこと:
きちんとした清潔
すべてのLinuxイメージのapt-cacheポリシーをチェックしましたが、うまくいきませんでした