This page is OBSOLETE.
Please see this page http://www.wiki.xilinx.com/Baremetal+Drivers+and+Libraries