These binary packages represent builds of the mainline or stable Linux kernel tree at the commit below:
v4.12 (6f7da290413ba713f0cdd9ff1a2a9bb129ef4f6c)
To obtain the source from which they are built fetch the commit below:
git://git.launchpad.net/~ubuntu-kernel-test/ubuntu/+source/linux/+git/mainline-crack v4.12
and apply the following patches on top in the order below:
0001-base-packaging.patch
0002-debian-changelog.patch
0003-configs-based-on-Ubuntu-4.12.0-5.6.patch
This is summarised in the SOURCES file included with these binaries.
Build for amd64 succeeded (see BUILD.LOG.amd64):
linux-headers-4.12.0-041200_4.12.0-041200.201707022031_all.deb
linux-headers-4.12.0-041200-generic_4.12.0-041200.201707022031_amd64.deb
linux-headers-4.12.0-041200-lowlatency_4.12.0-041200.201707022031_amd64.deb
linux-image-4.12.0-041200-generic_4.12.0-041200.201707022031_amd64.deb
linux-image-4.12.0-041200-lowlatency_4.12.0-041200.201707022031_amd64.deb
Build for i386 succeeded (see BUILD.LOG.i386):
linux-headers-4.12.0-041200_4.12.0-041200.201707022031_all.deb
linux-headers-4.12.0-041200-generic_4.12.0-041200.201707022031_i386.deb
linux-headers-4.12.0-041200-lowlatency_4.12.0-041200.201707022031_i386.deb
linux-image-4.12.0-041200-generic_4.12.0-041200.201707022031_i386.deb
linux-image-4.12.0-041200-lowlatency_4.12.0-041200.201707022031_i386.deb
Build for armhf succeeded (see BUILD.LOG.armhf):
linux-headers-4.12.0-041200_4.12.0-041200.201707022031_all.deb
linux-headers-4.12.0-041200-generic_4.12.0-041200.201707022031_armhf.deb
linux-headers-4.12.0-041200-generic-lpae_4.12.0-041200.201707022031_armhf.deb
linux-image-4.12.0-041200-generic_4.12.0-041200.201707022031_armhf.deb
linux-image-4.12.0-041200-generic-lpae_4.12.0-041200.201707022031_armhf.deb
Build for arm64 succeeded (see BUILD.LOG.arm64):
linux-headers-4.12.0-041200_4.12.0-041200.201707022031_all.deb
linux-headers-4.12.0-041200-generic_4.12.0-041200.201707022031_arm64.deb
linux-image-4.12.0-041200-generic_4.12.0-041200.201707022031_arm64.deb
Build for ppc64el succeeded (see BUILD.LOG.ppc64el):
linux-headers-4.12.0-041200_4.12.0-041200.201707022031_all.deb
linux-headers-4.12.0-041200-generic_4.12.0-041200.201707022031_ppc64el.deb
linux-image-4.12.0-041200-generic_4.12.0-041200.201707022031_ppc64el.deb
Build for s390x succeeded (see BUILD.LOG.s390x):
linux-headers-4.12.0-041200_4.12.0-041200.201707022031_all.deb
linux-headers-4.12.0-041200-generic_4.12.0-041200.201707022031_s390x.deb
linux-image-4.12.0-041200-generic_4.12.0-041200.201707022031_s390x.deb
For further information see: http://wiki.ubuntu.com/Kernel/MainlineBuilds