| Status: | OK |
|---|---|
| Date/Time: | Aug 15 2013, 09:01 |
| Revision: | Merge branch 'timers/nohz' (ea85885d1fcd1ce61b3117d83cc3eed4e9990c6e)
|
| Target: | tip/ppc64e_defconfig/powerpc-gcc4.6 |
| Branch: | tip |
| Compiler: | powerpc-gcc4.6 (powerpc-linux-gcc (GCC) 4.6.3) |
| Config: | ppc64e_defconfig (download) |