Global installation

xinlinx ise can be accesed locally using /home/esterel/bin/ise

September

A newer version of Xilinx WebPack is also installed on september in /local/Xilinx

Somehow the installation is broken, after booting execute as root # /local/Xilinx/install_drivers clean # /local/Xilinx/install_drivers # chmod 666 /dev/windrv6