diff options
| author | Arnd Bergmann <arnd@arndb.de> | 2024-01-11 09:53:00 +0100 |
|---|---|---|
| committer | Arnd Bergmann <arnd@arndb.de> | 2024-01-11 09:55:12 +0100 |
| commit | c2dba4d19f6542e52e59873a596cce0388d0df64 (patch) | |
| tree | c557a7121dd910847cd3cb8f45dacaf374cf5cb8 /scripts/gdb/linux/device.py | |
| parent | 114854438defa24fc82948591fe4d56f8ee925da (diff) | |
ARM: defconfig: remove dead platform options
These are all options for boards that got removed in the past and
are not relevant here because the options no longer exist or
are implied by the platform.
Signed-off-by: Arnd Bergmann <arnd@arndb.de>
Diffstat (limited to 'scripts/gdb/linux/device.py')
0 files changed, 0 insertions, 0 deletions