diff options
Diffstat (limited to 'target/linux/generic/config-3.18')
-rw-r--r-- | target/linux/generic/config-3.18 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/target/linux/generic/config-3.18 b/target/linux/generic/config-3.18 index e8745a02c0..9185255db0 100644 --- a/target/linux/generic/config-3.18 +++ b/target/linux/generic/config-3.18 @@ -2727,8 +2727,8 @@ CONFIG_PAGE_SIZE_4KB=y # CONFIG_PAGE_SIZE_64KB is not set # CONFIG_PAGE_SIZE_8KB is not set # CONFIG_PANEL is not set -# CONFIG_PANIC_ON_OOPS is not set -CONFIG_PANIC_ON_OOPS_VALUE=0 +CONFIG_PANIC_ON_OOPS=y +CONFIG_PANIC_ON_OOPS_VALUE=1 CONFIG_PANIC_TIMEOUT=1 # CONFIG_PANTHERLORD_FF is not set # CONFIG_PARPORT is not set |