Hi, I just tried to build a 5.3-STABLE kernel with 'options DDB, DDB_UNATTENDED', and got an error saying DDB_UNATTENDED was an unrecognized option. If we enable DDB, during a crash the system won't automagically reboot, correct? We need to have the DDB_UNATTENDED option, or am I just missing something? -Kyle Mott