Timed Linux Kernel Compilation 1.8.0

pts/build-linux-kernel-1.8.0 - 03 October 2017 - Update against Linux 4.13 upstream

downloads.xml:

install.sh:

interim.sh:

post.sh:

pre.sh:

results-definition.xml:

test-definition.xml: