[coreboot-gerrit] Change in coreboot[master]: arch/ppc64: add arch_timer

[Marty E. Plummer (Code Review)]

Hello Timothy Pearson, ron minnich, build bot (Jenkins), Patrick Georgi, Martin Roth,

I'd like you to reexamine a change. Please visit

https://review.coreboot.org/c/coreboot/+/35171

to look at the new patch set (#4).

Change subject: arch/ppc64: add arch_timer
......................................................................

arch/ppc64: add arch_timer

Based on code from hostboot's timemgr.C file. looks right and the
resultant assembly looks correct.

Change-Id: I65d7be0fd384e69a069fe8278c313db914763b80
Signed-off-by: Marty E. Plummer 
---
M src/arch/ppc64/Kconfig
M src/arch/ppc64/Makefile.inc
A src/arch/ppc64/arch_timer.c
A src/arch/ppc64/include/arch/asm.h
4 files changed, 101 insertions(+), 0 deletions(-)

git pull ssh://review.coreboot.org:29418/coreboot refs/changes/71/35171/4