- Source the appropriate settings script. PetaLinux can work with
any interactive shell, and examples are as follows:
- For Bash as a user
shell:
source <path-to-installed-PetaLinux>/settings.sh
- For C shell as a user shell:Note: From 2024.2 onwards PetaLinux settings.csh support will be deprecated. Recommend to use the settings.sh from bash.
source <path-to-installed-PetaLinux>/settings.csh
Following 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 a user
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 can differ from this example based on the PetaLinux installation path.