On 12/12/2009 06:08 PM, Frank Peters wrote:
[...]
Incidentally, the Gentoo boot script for microcode_ctl is not correct.
It uses a "-d" option to specify the microcode device:

microcode_ctl -d /dev/cpu/microcode

But the "-d" option does not exist.  The device is specified at
compile time.

It does exist. It's just not documented. If you run "microcode_ctl -d" you get "option requires an argument -- 'd'".


Reply via email to