Hello,

   I am attempting to debug a device driver. When the kernel
enters DDB, due to a memory fault, I would like to get DDB to
produce a core dump that I can later analyze with kgdb.
Unfortunately, if I call panic or dumpsys directly I seem to get
a stack trace different to the one active at the time of the
memory fault (possibly the stack for DDB). Does anyone know how
I can produce a normal core dump, such as if I didn't have DDB?

Thanks,
Simon