Dear me,
That was badly worded. I did not mean that the kernel dumped
core. It was of course a message from the kernel
nyleta kernel: pid 779 (ls), uid 0; exited on signal 12 (core dumped)
and similar.
Please accept my apologies for slandering the kernel in this
manner.
All the best,
John Duncan