| Status: | OK |
|---|---|
| Date/Time: | Jul 14 2018, 08:56 |
| Duration: | 0:00:10.985491 |
| Builder: | ka4 |
| Revision: | Merge branch 'timers-urgent-for-linus' of git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip (3951dbf232e8500bef27f77437fd5d04b67cc6d1)
|
| Target: | linus/or1ksim_defconfig/or32-gcc9 |
| Branch: | linus |
| Compiler: | or32-gcc9 (or1k-linux-gcc (GCC) 5.4.0) |
| Config: | or1ksim_defconfig (download) |