User`s guide

APPENDIX C. TIPS & TRIX

• If you cannot ﬁnd certain commands, make sure that the following commands are

present in your .bashrc:

source /opt/Xilinx/settings.sh

export PATH=$PATH:/usr/local/bin:/opt/or32-uclinux/bin