diff options
author | =?UTF-8?q?Arve=20Hj=C3=B8nnev=C3=A5g?= <arve@android.com> | 2011-10-01 12:14:12 +0100 |
---|---|---|
committer | Andy Green <andy.green@linaro.org> | 2011-10-02 09:37:10 +0100 |
commit | 2270b07970c601f4f19cc1d20734113dd4e51419 (patch) | |
tree | 2e21d134347d23258ed7b70a45bddace68913c56 /init | |
parent | e78931ecdf49f77c7202cbeeb4c8851519c1546c (diff) |
Add build option to to set the default panic timeout.
Diffstat (limited to 'init')
-rw-r--r-- | init/Kconfig | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/init/Kconfig b/init/Kconfig index d62778390e5..0b012a71825 100644 --- a/init/Kconfig +++ b/init/Kconfig @@ -915,6 +915,12 @@ config SYSCTL config ANON_INODES bool +config PANIC_TIMEOUT + int "Default panic timeout" + default 0 + help + Set default panic timeout. + menuconfig EXPERT bool "Configure standard kernel features (expert users)" # Unhide debug options, to make the on-by-default options visible |