- Source the appropriate settings script:
- For Bash as user login
shell:
$ source <path-to-installed-PetaLinux>/settings.sh
- For C shell as user login
shell:
$ source <path-to-installed-PetaLinux>/settings.csh
Below is an example of the output when sourcing the setup script for the first time:
PetaLinux environment set to '/opt/pkg/petalinux' INFO: Checking free disk space INFO: Checking installed tools INFO: Checking installed development libraries INFO: Checking network and other services WARNING: No tftp server found - please refer to "UG1144 <petalinux-version> PetaLinux Tools Documentation Reference Guide" for its impact and solution
- For Bash as user login
shell:
- Verify that the working environment has been set:
$ echo $PETALINUX
Example output:
/opt/pkg/petalinux
Environment variable
$PETALINUX
should point to the installed PetaLinux path. The output may be different from this example based on the PetaLinux installation path.