[PATCH 09/14] at91: switch pit timer to early platform devices

[Andrew Victor]

hi,

> this will allow to specify the resources per soc
>
> as the 5series use a different start address for the pit

I really don't see the fascination with early platform_devices for timer.
A sys_timer is initialized way earlier, and there are surely cleaner
ways to just pass a "base address" through to the driver.
The interrupt is always AT91_ID_SYS on all chips, so there is no point
making it configurable.


Regards,
  Andrew Victor