No Mint, você encontrará a configuração do kernel em /boot/config-$(uname -r) :
grep CONFIG_COREDUMP /boot/config-$(uname -r)
Atualmente, a maioria das distribuições envia a configuração do kernel em /boot .
Eu não estou recebendo nenhum core dumps, e core (5) diz que o problema pode ser que meu kernel pode ser configurado com CONFIG_COREDUMP , como descubro se é verdade?
Estou no Mint 17.3 ( uname -a : Linux laptop 3.19.0-32-generic #37~14.04.1-Ubuntu SMP Thu Oct 22 09:41:40 UTC 2015 x86_64 x86_64 x86_64 GNU/Linux ).
Tags linux linux-kernel