yjj@ubuntu:~$ source /opt/pkg/petalinux-v2014.2-final/settings.sh
PetaLinux environment set to '/opt/pkg/petalinux-v2014.2-final'
WARNING: /bin/sh is not bash!
bash is PetaLinux recommended shell. Please set your default shell to bash.
INFO: Checking free disk space
INFO: Checking installed tools
INFO: Checking installed development libraries
INFO: Checking network and other services
