Status: | OK |
---|---|
Date/Time: | Feb 5 2018, 18:16 |
Duration: | 0:00:59.880255 |
Builder: | ka4 |
Revision: | Merge branch 'x86-pti-for-linus' of git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip (35277995e17919ab838beae765f440674e8576eb)
|
Target: | linus/badge4_defconfig/arm-gcc4.6 |
Branch: | linus |
Compiler: | arm-gcc4.6 (arm-unknown-linux-gnueabi-gcc (GCC) 4.6.3) |
Config: | badge4_defconfig (download) |