Skip to content
Unstable

Parameters

BRANCH
Branch of docker-playground.git. Only modify if you are hacking on the docker-playground scripts.
KERNEL_URL
(*-kernel-git only) remote URL of git repository, from which the kernel will be built.
KERNEL_REMOTE_NAME
(*-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_BRANCH
(*-kernel-git only) branch to check out from the remote with KERNEL_URL and KERNEL_REMOTE_NAME before building the kernel.