Ways of running

There are two main ways of running this software.

Most users are recomended to install VirtualBox, create a new VM, and use the supplied VDI as the disk image. You will likely want to increase memory limits and CPU count above the default.

Advanced users can also use the SDK as a docker image. It pairs well with distrobox to better integrate it with their existing linux workflows.

distrobox create --image git.spirirobotics.com/spiri/spiri-sdk-desktop:main
distrobox enter spiri-sdk-desktop-main
cd /opt/spiri-sdk/PX4-Autopilot/
make px4_sitl gazebo-classic #Start the simulator

Building

#Note that because this is running in a container, the -o output flag must be relative to the current directory.
# We mount the current working directory in the docker container as part of this script.
./virtualize.sh build ./ -s 100gb  -o sdk.vdi