Remove the image and the intermediate images. Otherwise, especially
for the initial runs, the disk fills up quickly.
Signed-off-by: Rolf Neugebauer <rolf.neugebauer@docker.com>
No actual source change, just make it easier to enable
kernel headers should they be needed.
Signed-off-by: Rolf Neugebauer <rolf.neugebauer@docker.com>
Doing a "docker pull" to check if an image exist on hub
takes a long time for the number of images, in particular
in the linuxkit/kernel-mainline repo.
Instead, get a list of tags on Hub and check that way. This
does not check if the image was signed, but should be good
enough.
Signed-off-by: Rolf Neugebauer <rolf.neugebauer@docker.com>
This only covers the 4.x Ubuntu kernels and for now does
not include the headers to build modules against.
Signed-off-by: Rolf Neugebauer <rolf.neugebauer@docker.com>
The Ubuntu mainline PPA has kernel.org based kernels for many
kernel releaseis. This commit adds suport for downloading and
converting the 3.16.x long long term support kernel as well
as the current 4.x series. The "mainline.sh" script only
downloads/processes kernels which have not yet been put on
Hub.
The kernels are stored under "linuxkit/kernel-mainline" and are
tagged with the kernel version.
Signed-off-by: Rolf Neugebauer <rolf.neugebauer@docker.com>
