1
0
Fork 0

Add docker files for build environment and generation of kernels

timestamps
dump_stack() 2018-10-05 03:35:10 +00:00
parent 308808cc59
commit 997d6e24d3
10 changed files with 77 additions and 0 deletions

1
tools/kernel-factory/.gitignore vendored Normal file
View File

@ -0,0 +1 @@
output

View File

@ -0,0 +1,24 @@
FROM centos:6
# Last release must be download from mirror.centos.org, because vault.centos.org
# does not containt repodata for last release.
RUN yum list --showduplicates kernel \
| grep kernel | awk '{print $2}' | while read VERSION; do \
echo kernel-devel-${VERSION} kernel-${VERSION}; \
done | xargs yum install -y;
# mirror.centos.org does not contain old releases.
RUN sed -i 's/^mirrorlist/#mirrorlist/' /etc/yum.repos.d/*
RUN sed -i 's;^#baseurl=http://mirror.centos.org/centos/;baseurl=http://vault.centos.org/;' /etc/yum.repos.d/*
# do not remove old kernels
RUN sed -i 's;installonly_limit=;installonly_limit=100500;' /etc/yum.conf
# After new release must put PREVIOUS version here, e.g. at the time of
# writing the comment last CentOS version was 6.10.
RUN for RELEASEVER in 6.0 6.1 6.2 6.3 6.4 6.5 6.6 6.7 6.8 6.9; do \
yum list --releasever=${RELEASEVER} --showduplicates kernel \
| grep kernel | awk '{print $2}' | while read VERSION; do \
echo kernel-devel-${VERSION} kernel-${VERSION}; \
done | xargs yum install --releasever=${RELEASEVER} -y; \
done

View File

@ -0,0 +1,24 @@
FROM centos:7
# Last release must be download from mirror.centos.org, because vault.centos.org
# does not containt repodata for last release.
RUN yum list --showduplicates kernel \
| grep kernel | awk '{print $2}' | while read VERSION; do \
echo kernel-devel-${VERSION} kernel-${VERSION}; \
done | xargs yum install -y;
# mirror.centos.org does not contain old releases.
RUN sed -i 's/^mirrorlist/#mirrorlist/' /etc/yum.repos.d/*
RUN sed -i 's;^#baseurl=http://mirror;baseurl=http://vault;' /etc/yum.repos.d/*
# do not remove old kernels
RUN sed -i 's;installonly_limit=;installonly_limit=100500;' /etc/yum.conf
# After new release must put PREVIOUS version here, e.g. at the time of
# writing the comment last CentOS version was 7.5.1804.
RUN for RELEASEVER in 7.0.1406 7.1.1503 7.2.1511 7.3.1611 7.4.1708; do \
yum list --releasever=${RELEASEVER} --showduplicates kernel \
| grep kernel | awk '{print $2}' | while read VERSION; do \
echo kernel-devel-${VERSION} kernel-${VERSION}; \
done | xargs yum install --releasever=${RELEASEVER} -y; \
done

View File

@ -0,0 +1,4 @@
FROM debian:7
RUN apt-get update
#RUN DEBIAN_FRONTEND=noninteractive apt-get install -y...

View File

@ -0,0 +1,4 @@
FROM debian:8
RUN apt-get update
#RUN DEBIAN_FRONTEND=noninteractive apt-get install -y...

View File

@ -0,0 +1,4 @@
FROM debian:9
RUN apt-get update
#RUN DEBIAN_FRONTEND=noninteractive apt-get install -y...

View File

@ -0,0 +1,4 @@
1. Lookup kernel in https://snapshot.debian.org/package/linux*
2. Go to snapshot (e.g. https://snapshot.debian.org/archive/debian/20120612T040311Z/pool/main/l/linux/)
3. Checkout release version
4. ...

View File

@ -0,0 +1,4 @@
FROM ubuntu:14.04
RUN apt-get update
RUN DEBIAN_FRONTEND=noninteractive apt-get install -y linux-image-3*-generic linux-image-4*-generic linux-headers-*-generic

View File

@ -0,0 +1,4 @@
FROM ubuntu:16.04
RUN apt-get update
RUN DEBIAN_FRONTEND=noninteractive apt-get install -y linux-image-4*-generic linux-headers-*-generic

View File

@ -0,0 +1,4 @@
FROM ubuntu:18.04
RUN apt-get update
RUN DEBIAN_FRONTEND=noninteractive apt-get install -y linux-image-4*-generic linux-headers-*-generic