diff options
author | Viresh Kumar <viresh.kumar@linaro.org> | 2013-06-19 11:08:58 -0400 |
---|---|---|
committer | Wim Van Sebroeck <wim@iguana.be> | 2013-07-11 15:47:58 -0400 |
commit | 6e63a3a294fdf91eaaac1061a9c7a5f53d16ac25 (patch) | |
tree | 585330f1e8cea1675999213b01dabf7b0e9e1394 /arch/arm/configs | |
parent | 8fce9b367d672332d2d101175b10737ee5c18b59 (diff) |
watchdog: delete mpcore_wdt driver
Interrupt request doesn't use the right API: The TWD watchdog uses a per-cpu
interrupt (usually interrupt #30), and the GIC configuration should flag it as
such. With this setup, request_irq() should fail, and the right API is
request_percpu_irq(), together with enable_percpu_irq()/disable_percpu_irq().
Nothing ensures the userspace ioctl() will end-up kicking the watchdog on the
right CPU.
There are no users of this driver since a long time and it makes more sense to
get rid of it as nobody is looking to fix it.
In case somebody wakes up after this has been removed and needs it, please
revert this driver and pick these updates (These were never pushed to mainline):
http://comments.gmane.org/gmane.linux.ports.arm.kernel/245998
Signed-off-by: Viresh Kumar <viresh.kumar@linaro.org>
Acked-by: Guenter Roeck <linux@roeck-us.net>
Signed-off-by: Wim Van Sebroeck <wim@iguana.be>
Diffstat (limited to 'arch/arm/configs')
-rw-r--r-- | arch/arm/configs/spear13xx_defconfig | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/arch/arm/configs/spear13xx_defconfig b/arch/arm/configs/spear13xx_defconfig index 1fdb82694ca2..82eaa552ed14 100644 --- a/arch/arm/configs/spear13xx_defconfig +++ b/arch/arm/configs/spear13xx_defconfig | |||
@@ -61,7 +61,6 @@ CONFIG_GPIO_SYSFS=y | |||
61 | CONFIG_GPIO_PL061=y | 61 | CONFIG_GPIO_PL061=y |
62 | # CONFIG_HWMON is not set | 62 | # CONFIG_HWMON is not set |
63 | CONFIG_WATCHDOG=y | 63 | CONFIG_WATCHDOG=y |
64 | CONFIG_MPCORE_WATCHDOG=y | ||
65 | # CONFIG_HID_SUPPORT is not set | 64 | # CONFIG_HID_SUPPORT is not set |
66 | CONFIG_USB=y | 65 | CONFIG_USB=y |
67 | # CONFIG_USB_DEVICE_CLASS is not set | 66 | # CONFIG_USB_DEVICE_CLASS is not set |