+ The function mpi_mul_hlp in library/bignum.c is modified for more
+ optimization for ARM Cortex-M3. Functions mpi_montred, mpi_sub_hlp,
+ mpi_sub_abs, mpi_mul_mpi, mpi_montmul, and mpi_exp_mod are modified
+ to avoid side channel attacks. Note that we don't use RSA-blinding
+ technique for Gnuk. Function mpi_gen_prime and mpi_is_prime are
+ modified to use Fouque-Tibouchi method. Function mpi_exp_mod is
+ modified to use new function mpi_montsqr for speed up.
+
+ The file library/aes.c is modified so that some constants can
+ go to .sys section.
+
+ The file include/polarssl/config.h are modified not to define
+ POLARSSL_HAVE_LONGLONG to avoid linking libgcc, to define
+ POLARSSL_AES_ROM_TABLES to have AES tables, not to define
+ POLARSSL_CIPHER_MODE_CTR, POLARSSL_FS_IO, POLARSSL_PKCS1_V21,
+ POLARSSL_SELF_TEST, and POLARSSL_PADLOCK_C, and only define
+ POLARSSL_GENPRIME when defined KEYGEN_SUPPORT.
+
+
+USB vendor ID and product ID (USB device ID)
+============================================
+
+When you have a vendor ID and assign a product ID for Gnuk, edit the
+file GNUK_USB_DEVICE_ID and add an entry for yours. In this case,
+please contact Niibe, so that it is listed to the file in the official
+release of the source code.
+
+When you are modifing Gnuk and installing the binary to device, you
+should replace the vendor string and serial number to yours (in the
+file GNUK_USB_DEVICE_ID and SERIALNO of the script of src/configure),
+so that users can see it's not by original vendor, and it is modified
+version.
+
+FSIJ allows you to use USB device ID of FSIJ (234b:0000) for devices
+with Gnuk under one of following conditions:
+
+ * For everyone for experimental purpose:
+
+ - You must not distribute a binary with FSIJ's USB device ID, but
+ must use the binary by yourself only for your experiment. Note
+ that "Distributing binary" includes distributing a device which
+ holds the binary.
+
+ * For general individuals:
+
+ - You must use your Gnuk device with a card serial number which is
+ *not* by FSIJ. Easy one would be a card serial number generated
+ by chip unique ID.
+
+ * For individuals with explicit permission from FSIJ.
+
+ - You should have an assigned card serial number by FSIJ,
+ please use that number for your device.
+ (There a file 'GNUK_SERIAL_NUMBER' in the official release.)
+
+FSIJ could give companies or business entities "second source
+manufacturer" license to use USB device ID of FSIJ for devices with
+unmodified version of Gnuk, provided they support Free Software and
+respect users' freedom for computing. Please ask FSIJ for the
+license.
+
+Otherwise, companies which want to distribute Gnuk devices, please use
+your own USB vendor ID and product ID. Please replace vendor string
+and possibly product string to yours, when you modify Gnuk.
+
+
+Host Requirements
+=================