This fixes an issue in which mfakto would not keep the kernel file after compilation if the -d option is used to specify a device number greater than 1. In the original code, mfakto would always search for the binary in the first slot regardless of the device number. It should now search all the slots until it finds a valid one.
This fixes an issue in which mfakto would not keep the kernel file after compilation if the
-doption is used to specify a device number greater than 1. In the original code, mfakto would always search for the binary in the first slot regardless of the device number. It should now search all the slots until it finds a valid one.I also further updated the documentation.