please check two things:
- Has the kernel been configured with ELF_CORE=y? If not, it won't generate core dumps.
- What is reported by "cat /proc/sys/kernel/core_pattern"? That pseudo-file specifies the name pattern where a core dump is saved, if it is generated. If using a relative path (like the default "core"), please make sure you look into the correct directory (= current directory at time of crash), and it is writable.
I use RCCE's default kernel I boot using "sccBoot -l". I don't know if the ELF_CORE option is enabled (=y) or not. Do you know where are the source for this kernel? Regarding your second point, the file /proc/sys/kernel/core_pattern is "core", and the current directory is writable at the time of crash, and I can't find the file.