forked from Minki/linux
d330615b90
In the original driver it is missed to setup a free running driver. This timer is needed for the scheduler. So setup it. Signed-off-by: Hans Ulli Kroll <ulli.kroll@googlemail.com> Reviewed-by: Linus Walleij <linus.walleij@linaro.org> Signed-off-by: Olof Johansson <olof@lixom.net> |
||
---|---|---|
.. | ||
include/mach | ||
board-nas4220b.c | ||
board-rut1xx.c | ||
board-wbd111.c | ||
board-wbd222.c | ||
common.h | ||
devices.c | ||
gpio.c | ||
idle.c | ||
irq.c | ||
Kconfig | ||
Makefile | ||
Makefile.boot | ||
mm.c | ||
reset.c | ||
time.c |