diff options
author | Nicolas Pitre <nicolas.pitre@linaro.org> | 2011-07-05 23:44:31 -0400 |
---|---|---|
committer | Nicolas Pitre <nico@fluxnic.net> | 2011-07-18 11:04:43 -0400 |
commit | c8b7d43b6d539218c36f0ac8a6ad434b93195703 (patch) | |
tree | 5e84acb8215d86838f176e44ac74cf34f845701d /Documentation/nmi_watchdog.txt | |
parent | 632b7cf6c056a355fe920c5165c4d7772393b817 (diff) | |
download | linux-c8b7d43b6d539218c36f0ac8a6ad434b93195703.tar.bz2 |
ARM: mach-loki: delete
This was introduced more than 3 years ago, and since then only generic
janitorial changes were made without further addition of actual support
for "real" devices. This is therefore a cost with no benefits to keep
in the tree. If someone wishes to revive this code, it is always
possible to retrieve it from the Git repository.
Signed-off-by: Nicolas Pitre <nicolas.pitre@linaro.org>
CC: Ke Wei <kewei@marvell.com>
CC: Saeed Bishara <saeed@marvell.com>
CC: Lennert Buytenhek <buytenh@wantstofly.org>
Diffstat (limited to 'Documentation/nmi_watchdog.txt')
0 files changed, 0 insertions, 0 deletions