Ho inviato il mio computer al produttore per la diagnosi e l'aiuto per un problema di uscita video che stava avendo. Hanno aggiornato il BIOS. Da allora ho avuto
[Firmware Bug]: TSC_DEADLINE disabled due to Errata; please update microcode to version: 0x20 (or later)
Non avevo installato alcun pacchetto microcodice o ucode prima e non avevo usato questo messaggio.
Ho contattato il produttore e mi hanno risposto "non ricordare il numero del tuo biglietto ma dubito che abbiamo aggiornato il BIOS", quindi non sono molto utili.
Si avvia e funziona, ma TSC_DEADLINE è importante o utile?
L'unica cosa che posso trovare al riguardo è questa: https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux-stable.git/commit/?id=73b866d89bf7c9a895d5445faad03fa3d56c8af8
Ma questo sembra applicarsi solo a VirtualBox, e in ogni caso sto già eseguendo il kernel 4.14, quindi penserei che se quel commit risolvesse il mio problema già avrebbe.
ryan@pocketwee:~$ uname -a
Linux pocketwee 4.14.0-1-amd64 #1 SMP Debian 4.14.2-1 (2017-11-30) x86_64 GNU/Linux
linux-firmware
non aggiorna il microcodice, è necessario intel-microcode
o amd64-microcode
per quello (almeno su Debian e derivati).
linux-firmware
che fornisce gli aggiornamenti del firmware richiesti. In Debian potresti dover abilitarecontrib
e / onon-free
ottenerlo. La patch che hai collegato ha lo scopo di risolvere la situazione sciocca quando il kernel si conforma a firmware obsoleto quando si avvia in una macchina virtuale, che ovviamente non ha alcun firmware ...