On Fri, 31 Jan 2014 04:48:47 -0500 (EST), Henrique de Moraes Holschuh wrote: > > The file is for family 15h, that "h" stands for hexadecimal base. > > 15 in the hexadecimal base is 21 in the decimal base. It is working > correctly.
Of course. How did I miss that? Doh! OK, you may close this bug report at your leisure. Despite the fact that /proc/cpuid reports only 2 cores instead of 4, it appears that all four CPUs do get their microcode updated. A kernel message something like "skipping microcode upgrade for CPU #1: already up to date" would be nice, but the lack of such a message is not, strictly speaking, a bug. -- .''`. Stephen Powell : :' : `. `'` `- -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
