diff options
Diffstat (limited to 'arch/alpha')
-rw-r--r-- | arch/alpha/Kconfig | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/arch/alpha/Kconfig b/arch/alpha/Kconfig index 0ff5572b3b07..9abcd5fd8969 100644 --- a/arch/alpha/Kconfig +++ b/arch/alpha/Kconfig | |||
@@ -650,8 +650,6 @@ source "drivers/Kconfig" | |||
650 | 650 | ||
651 | source "fs/Kconfig" | 651 | source "fs/Kconfig" |
652 | 652 | ||
653 | source "kernel/Kconfig.instrumentation" | ||
654 | |||
655 | source "arch/alpha/Kconfig.debug" | 653 | source "arch/alpha/Kconfig.debug" |
656 | 654 | ||
657 | # DUMMY_CONSOLE may be defined in drivers/video/console/Kconfig | 655 | # DUMMY_CONSOLE may be defined in drivers/video/console/Kconfig |