The scripts in this directory are run from OS Jenkins jobs. By storing the Jenkins scripts in this repository, they are more tightly coupled to the release branch of the SDK scripts that they require. The Jenkins jobs are responsible for setting up the environment and securely initializing an SDK in the workspace before running these scripts.

The special files named formats-${BOARD}.txt are space-separated lists of VM image formats that should be built for releases on this branch; i.e. the script vm.sh is run for each item in the list.