work correclty on 64bit systems with 32bit userland

[usb-driver] / README

diff --git a/README b/README
index aa967fd5e6c8fbdcaaa1a0c0f96c09c9d39809ee..330c3a3223b895f3bf1b8e63670c9f1e627ddf05 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.01i
  * EDK 8.2.02i
  * EDK 8.1.02i
 
@@ -40,6 +41,9 @@ http://git.zerfleddert.de/cgi-bin/gitweb.cgi/usb-driver
 The main website is located at:
 http://www.rmdir.de/~michael/xilinx/
 
+The Git repository can be cloned with:
+git clone git://git.zerfleddert.de/usb-driver
+
 
 Notes for the USB cable
 =======================