[PATCH 0/1] How to choose system timer?

Hi,

I have one design question about specifying system timer in DTS.
Our proposed solution is to specify system-timer in chosen
node and then Linux kernel probe it.

For example:
	chosen {
		bootargs = " console=ttyS0,115200 ";
		linux,stdout-path = "/plb@0/serial@83e00000";
		system-timer = <&xps_timer_0>;
	} ;

Is it correct solution? We would like to use 
standard solution and not to reinvent the wheel.
How others archs handle it? AFAIK you have internal cpu
timer which is used as system timer.

I have also attached the patch for microblaze to show probing.

Thanks,
Michal



*** BLURB HERE ***

Peter A. G. Crosthwaite (1):
  microblaze: Added fdt chosen capability for timer

 arch/microblaze/kernel/timer.c |   12 ++++++++----
 1 files changed, 8 insertions(+), 4 deletions(-)

-- 
1.7.5.4