microcode.ctl for Debian
----------------------

1- The microcode_ctl works only on kernel the 2.2.18 and later or
   on  2.4.0 and later.
2- If you recompile the kernel, make sure to include the microcode
   support (CONFIG_MICROCODE).
   (See 'kernel-package' and 'kernel-source-*' packages)

Because the microcode license is not enough free for Debian, we don't
distribute the original microcode.  The configuration script in this
package will try to download automatically the  microcode.  If you have
no network or if you want an update version of microcode, you can find
it in: http://www.urbanmyth.org/microcode/ or
http://people.debian.org/~cate/files/microcode/microcode.dat .
The downloaded microcode should then be placed put in 
/usr/share/misc/microcode.dat .

 -- Giacomo Catenazzi <cate@debian.org>, Sat  16 Dec 2001 16:41:32 +0100