Head de98cec5be7503cb04d4 on branch tip

kisskb

Revisions | Branches | Compilers | Configs | Build Results | Build Failures |

Merge branch 'x86/timers'

Description: Merge branch 'x86/timers'
Date: June 22, 2017, 9:24 p.m.
Hash: de98cec5be7503cb04d430d5b3fae8419aa42473
Branch: tip
Gitweb: git.kernel.org
Progress: 61% 8/13
Successful: 100% 8/8
Previous: cb834fdbaf0f05b40d25 (compare)
Next: fb01f68ee7a492355295 (compare)
Results:
Status Date/time Target
OK Jun 22 2017, 21:49 tip/pseries_defconfig/powerpc-gcc4.6
OK Jun 22 2017, 21:50 tip/pmac32_defconfig/powerpc-gcc4.6
OK Jun 22 2017, 21:51 tip/ppc64_defconfig/powerpc-gcc4.6
OK Jun 22 2017, 21:52 tip/powerpc-allnoconfig/powerpc-gcc4.6
OK Jun 22 2017, 21:52 tip/ppc6xx_defconfig/powerpc-gcc4.6
OK Jun 22 2017, 21:53 tip/ppc64e_defconfig/powerpc-gcc4.6
OK Jun 22 2017, 21:54 tip/arm64-defconfig/arm64-gcc5
OK Jun 22 2017, 21:55 tip/ppc64le_defconfig/powerpc-gcc5
© Michael Ellerman 2006-2018.