[coreboot-gerrit] New patch to review for coreboot: b7ee801 timerservice

[Marc Jones (marc.jones@se-eng.com)]

Marc Jones (marc.jones at se-eng.com) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/7870

-gerrit

commit b7ee80177d2affb23dc3a287a1aa183fc8d6cbd7
Author: Marc Jones <marc.jones at se-eng.com>
Date:   Thu Dec 18 23:17:16 2014 -0700

    timerservice
    
    Change-Id: I8908c738d43677a753eaf2641eff802f65094037
---
 src/arch/arm/armv4/bootblock_simple.c | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/arch/arm/armv4/bootblock_simple.c b/src/arch/arm/armv4/bootblock_simple.c
index 207279b..f6a21ba 100644
--- a/src/arch/arm/armv4/bootblock_simple.c
+++ b/src/arch/arm/armv4/bootblock_simple.c
@@ -25,6 +25,7 @@
 #include <cbfs.h>
 #include <console/console.h>
 #include <halt.h>
+#include <delay.h>
 
 void main(void)
 {
@@ -44,3 +45,8 @@ void main(void)
 	if (entry) stage_exit(entry);
 	halt();
 }
+
+void bootblock_mainboard_init(void)
+{
+	init_timer();
+}