diff options
author | Robert Schwebel <r.schwebel@pengutronix.de> | 2017-09-06 11:26:35 +0200 |
---|---|---|
committer | Robert Schwebel <r.schwebel@pengutronix.de> | 2017-10-11 15:16:45 +0200 |
commit | 12b901f757db290f768e3d3aded49fb7f0d03b82 (patch) | |
tree | 391fe8cf57d3383633d8b3934abaea2483c5743d /configs | |
parent | 2532fa8e1faf66f5ee0dc52a5deafaba74a96562 (diff) | |
download | DistroKit-12b901f757db290f768e3d3aded49fb7f0d03b82.tar.gz DistroKit-12b901f757db290f768e3d3aded49fb7f0d03b82.tar.xz |
platform-v7a: kernel: reboot on panic
Change the kernel config to reboot on panic.
Signed-off-by: Robert Schwebel <r.schwebel@pengutronix.de>
Reviewed-by: Rouven Czerwinski <r.czerwinski@pengutronix.de>
Diffstat (limited to 'configs')
-rw-r--r-- | configs/platform-v7a/kernelconfig | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configs/platform-v7a/kernelconfig b/configs/platform-v7a/kernelconfig index f71131b..515f7db 100644 --- a/configs/platform-v7a/kernelconfig +++ b/configs/platform-v7a/kernelconfig @@ -2997,7 +2997,7 @@ CONFIG_BOOTPARAM_HUNG_TASK_PANIC_VALUE=1 # CONFIG_WQ_WATCHDOG is not set # CONFIG_PANIC_ON_OOPS is not set CONFIG_PANIC_ON_OOPS_VALUE=0 -CONFIG_PANIC_TIMEOUT=0 +CONFIG_PANIC_TIMEOUT=-1 # CONFIG_SCHED_DEBUG is not set # CONFIG_SCHED_INFO is not set # CONFIG_SCHEDSTATS is not set |