timer: Make the ticks timer run at 10hz not at a platform rate
authorAlan Cox <alan@linux.intel.com>
Fri, 2 Jan 2015 20:00:03 +0000 (20:00 +0000)
committerAlan Cox <alan@linux.intel.com>
Fri, 2 Jan 2015 20:00:03 +0000 (20:00 +0000)
commit6d607d97a62be9dd13d536fa7e60aef45697cee1
treec7012fda24fe21393760dc63464bceba06a8fd50
parentb937db08589494ec5e36212c907d33f186ca0bcb
timer: Make the ticks timer run at 10hz not at a platform rate

We now get a sensible time between rollovers and more importantly we can
do much better in the C library with division by 10 than random per platform
numbers.
Kernel/include/timer.h
Kernel/platform-socz80/devsd.c
Kernel/process.c