# CONFIG_KGDB_KDB is not set