From b8b5059a2b997d43fe4f80bca368449759320647 Mon Sep 17 00:00:00 2001
From: Michael Gernoth <michael@gernoth.net>
Date: Sun, 27 May 2007 00:10:02 +0200
Subject: [PATCH 1/1] document lib32 target, add EDK 9.1.02i as working

---
 README     | 4 +++-
 index.html | 1 +
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/README b/README
index 330c3a3..23265b8 100644
--- 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 b2628cd..d4b15be 100644
--- 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>
-- 
2.39.5