diff options
Diffstat (limited to 'config-nodebug')
-rw-r--r-- | config-nodebug | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config-nodebug b/config-nodebug index 7abd7b550..cfabd29c7 100644 --- a/config-nodebug +++ b/config-nodebug @@ -96,6 +96,7 @@ CONFIG_PCI_DEFAULT_USE_CRS=y CONFIG_KGDB_KDB=y CONFIG_KDB_KEYBOARD=y +CONFIG_KDB_CONTINUE_CATASTROPHIC=0 CONFIG_DEBUG_OBJECTS_PERCPU_COUNTER=y CONFIG_TEST_LIST_SORT=y |