On Tue, 06 Nov 2012, Paul Gevers wrote: > Both before and after the installation, the output for the microcode was the > same (see below).
If you didn't have the microcode module loaded, please reboot and check the microcode revision again. Did the microcode get updated after a reboot? Alternatively, please check the kernel logs: grep microcode /var/log/kern*.log It is always possible that there is currently no microcode update for your processor, or that your motherboard already updates it to the latest microcode during boot. -- "One disk to rule them all, One disk to find them. One disk to bring them all and in the darkness grind them. In the Land of Redmond where the shadows lie." -- The Silicon Valley Tarot Henrique Holschuh -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org