andrew bfd1f6488e Create device options for the two common ARM timers. ... Sponsored by: ABT Systems Ltd		2015-11-21 16:23:56 +00:00
..
exynos	Create device options for the two common ARM timers.	2015-11-21 16:23:56 +00:00