Debianでは、マシンが起動すると、エラーが表示されます。
[Firmware Bug]: TSC_DEADLINE disabled due to Errata;
please update microcode to version: 0xb2 (or later)
やった
Sudo apt-get update && Sudo apt-get upgrade && Sudo apt-get dist-upgrade
そしてそれは助けにはならなかった
まず、BIOS/UEFIで利用可能なアップデートがあるかどうかを確認する必要があります。運が良ければ、マザーボードの製造元がアップデートを提供します。 BIOSアップデートには、プロセッサファームウェアアップデートが含まれる場合があります。 (これは、OSの再インストール後も持続するため、最良のケースです。)
次に、プロセッサのブランドに応じて、次のコマンドラインを使用します。
Sudo apt-get install intel-microcode
または
Sudo apt-get install AMD64-microcode
linuxカーネルの起動時に、最新のプロセッサファームウェアが自動的に適用されます。これは永続的なソリューションではありませんが、ここでは、マザーボードの製造元ではなく、Intel/AMD/Debian/Ubuntuに依存しています。
Linuxカーネルによって適用されるファームウェアバージョンを知るには(多分)、次のコマンドを使用します。
dmesg | grep microcode
インテルマイクロコードパッケージをインストールする必要があることがわかりました。
Sudo apt-get install intel-microcode