diff options
| author | Josh Boyer <jwboyer@redhat.com> | 2013-03-03 09:23:35 -0500 |
|---|---|---|
| committer | Josh Boyer <jwboyer@redhat.com> | 2013-03-03 09:23:35 -0500 |
| commit | 9608524f39dac77fef69d2cf2a64a465b039df2b (patch) | |
| tree | 9b7d59d3b8f57bc72f708d9126156f2ab78574ab /config-nodebug | |
| parent | f5e36b421c636b05a9ef63763b1eff7f02587c7e (diff) | |
| download | kernel-9608524f39dac77fef69d2cf2a64a465b039df2b.tar.gz kernel-9608524f39dac77fef69d2cf2a64a465b039df2b.tar.xz kernel-9608524f39dac77fef69d2cf2a64a465b039df2b.zip | |
Linux v3.8-10734-ga7c1120
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 |