document lib32 target, add EDK 9.1.02i as working

diff --git a/README b/README
index 330c3a3223b895f3bf1b8e63670c9f1e627ddf05..23265b8b8df554f0e805754a07042d8cacfde2ce 100644 (file)
--- a/README
+++ b/README
@@ -17,6 +17,7 @@ the following software:
  * ChipScope 9.1.03i
  * ChipScope 9.1.02i
  * ChipScope 8.2.04i
+ * EDK 9.1.02i
  * EDK 9.1.01i
  * EDK 8.2.02i
  * EDK 8.1.02i
@@ -25,7 +26,8 @@ In addition to the XILINX USB and parallel cables, devices based on the FTDI
 2232 serial converter chip are also experimentally supported. This includes
 devices like the Amontec JTAGkey(-Tiny).
 
-Build the library by calling `make'.
+Build the library by calling `make'. If you are on a 64 bit system but want
+to build a 32 bit library, run `make lib32' instead.
 
 To use this library you have to preload the library before starting impact:
 

diff --git a/index.html b/index.html
index b2628cdd51324d4526e54e7da5904f4507cd02e0..d4b15be44d1225d78ed6591984ae887cba60e295 100644 (file)
--- a/index.html
+++ b/index.html
@@ -60,6 +60,7 @@
                        <li><a href="http://www.xilinx.com/ise/optional_prod/cspro.htm">ChipScope Pro 9.1.03i</a></li>
                        <li><a href="http://www.xilinx.com/ise/optional_prod/cspro.htm">ChipScope Pro 9.1.02i</a></li>
                        <li><a href="http://www.xilinx.com/ise/optional_prod/cspro.htm">ChipScope Pro 8.2.04i</a></li>
+                       <li><a href="http://www.xilinx.com/ise/embedded_design_prod/platform_studio.htm">EDK 9.1.02i</a></li>
                        <li><a href="http://www.xilinx.com/ise/embedded_design_prod/platform_studio.htm">EDK 9.1.01i</a></li>
                        <li><a href="http://www.xilinx.com/ise/embedded_design_prod/platform_studio.htm">EDK 8.2.02i</a></li>
                        <li><a href="http://www.xilinx.com/ise/embedded_design_prod/platform_studio.htm">EDK 8.1.02i</a></li>