Parameters

Branch of docker-playground.git. Only modify if you are hacking on the docker-playground scripts.

(*-kernel-git only) remote URL of git repository, from which the kernel will be built.

(*-kernel-git only) short name for the remote URL, which will be used to add it to the local git checkout with git remote add.

(*-kernel-git only) branch to check out from the remote with KERNEL_URL and KERNEL_REMOTE_NAME before building the kernel.