Patch: RaspberryPi clock driver

[Jan Sommer]

Hi,

I hope that's how this works. Here is a patch for the raspberrypi clock driver to use the correct value for the timer counter based on rtems_configuration_get_microseconds_per_tick() as discussed in the user-list.

Cheers,

   Jan
-------------------------------------------------------------
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-RaspberryPi-Use-rtems_configuration_get_microseconds.patch
Type: text/x-patch
Size: 1514 bytes
Desc: not available
URL: <http://lists.rtems.org/pipermail/devel/attachments/20150707/c7fc2166/attachment.bin>