- Download a petalinux installer
- Copy it to this folder
- The container has a few key build arguments:
PETA_VERSION
: the version of Petalinux you're installing in this containerPETA_RUN_FILE
: the installer you've downloadedUSER_ID
: the user id of your container user account. Set this toid -u
of your regular user account to make all files inside the container owned by this user outside of the containerGROUP_ID
: the group id of your container user account. Set this toid -g
of your regular user account to make all the files inside the container owned by this group outside of the container
- Build the container with, i.e.
sudo docker build --build-arg PETA_VERSION=2020.2 --build-arg PETA_RUN_FILE=petalinux-v2020.2-final-installer.run --build-arg USER_ID=`id -u` --build-arg GROUP_ID=`id -g` --tag petalinux:2020.2 .
- After the build is complete, you can just launch it with
docker run
. Some example helper functions are provided in bash_functions.sh