These binary packages represent builds of the mainline or stable Linux kernel tree at the commit below:
v4.13.5 (06b0d88bfe617c354acfda490172e4d72bc632c8)
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.13.5
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.13.0-11.12.patch
This is summarised in the SOURCES file included with these binaries.
Build for amd64 succeeded (see BUILD.LOG.amd64):
linux-headers-4.13.5-041305_4.13.5-041305.201710050600_all.deb
linux-headers-4.13.5-041305-generic_4.13.5-041305.201710050600_amd64.deb
linux-headers-4.13.5-041305-lowlatency_4.13.5-041305.201710050600_amd64.deb
linux-image-4.13.5-041305-generic_4.13.5-041305.201710050600_amd64.deb
linux-image-4.13.5-041305-lowlatency_4.13.5-041305.201710050600_amd64.deb
Build for i386 succeeded (see BUILD.LOG.i386):
linux-headers-4.13.5-041305_4.13.5-041305.201710050600_all.deb
linux-headers-4.13.5-041305-generic_4.13.5-041305.201710050600_i386.deb
linux-headers-4.13.5-041305-lowlatency_4.13.5-041305.201710050600_i386.deb
linux-image-4.13.5-041305-generic_4.13.5-041305.201710050600_i386.deb
linux-image-4.13.5-041305-lowlatency_4.13.5-041305.201710050600_i386.deb
Build for armhf succeeded (see BUILD.LOG.armhf):
linux-headers-4.13.5-041305_4.13.5-041305.201710050600_all.deb
linux-headers-4.13.5-041305-generic_4.13.5-041305.201710050600_armhf.deb
linux-headers-4.13.5-041305-generic-lpae_4.13.5-041305.201710050600_armhf.deb
linux-image-4.13.5-041305-generic_4.13.5-041305.201710050600_armhf.deb
linux-image-4.13.5-041305-generic-lpae_4.13.5-041305.201710050600_armhf.deb
Build for arm64 succeeded (see BUILD.LOG.arm64):
linux-headers-4.13.5-041305_4.13.5-041305.201710050600_all.deb
linux-headers-4.13.5-041305-generic_4.13.5-041305.201710050600_arm64.deb
linux-image-4.13.5-041305-generic_4.13.5-041305.201710050600_arm64.deb
Build for ppc64el failed (see BUILD.LOG.ppc64el):
linux-headers-4.13.5-041305_4.13.5-041305.201710050600_all.deb
*_ppc64el.deb
Build for s390x succeeded (see BUILD.LOG.s390x):
linux-headers-4.13.5-041305_4.13.5-041305.201710050600_all.deb
linux-headers-4.13.5-041305-generic_4.13.5-041305.201710050600_s390x.deb
linux-image-4.13.5-041305-generic_4.13.5-041305.201710050600_s390x.deb
For further information see: http://wiki.ubuntu.com/Kernel/MainlineBuilds