build bot (Jenkins) has posted comments on this change. ( https://review.coreboot.org/23811 )
Change subject: drivers/arm: Add driver for SP804 timer ......................................................................
Patch Set 1: Verified+1
Build Successful
https://qa.coreboot.org/job/coreboot-gerrit/67676/ : SUCCESS
https://qa.coreboot.org/job/coreboot-checkpatch/22180/ : SUCCESS