diff --git a/crash_reporter/init/crash-reporter.conf b/crash_reporter/init/crash-reporter.conf index 3463c60c7..19f2cdbce 100644 --- a/crash_reporter/init/crash-reporter.conf +++ b/crash_reporter/init/crash-reporter.conf @@ -12,6 +12,12 @@ start on starting system-services pre-start script mkdir -p /var/spool + + # Only allow device coredumps on a "developer system". + if ! is_developer_end_user; then + # consumer end-user - disable device coredumps, if driver exists. + echo 1 > /sys/class/devcoredump/disabled || true + fi end script # crash_reporter uses argv[0] as part of the command line for