>>> [...] only saving pages used by the kernel [...]
>> It could also lose crucial information, because what you'd really be
>> saving is pages the kernel thinks are in use, [...]
> That might seem like a good argument, but in fact virtually no bugs
> (*none* that I know of) encountered in the last 3-4 years are of that
> nature.

Then the space savings are probably worth the risk, especially if...

> And it would be easier to have a knob to change the behavior.

...full coredumps can be turned on in case someone suspects such a bug.

The biggest price I see then is libkvm support for a more complex
kernel coredump format.

					der Mouse

			       mouse@rodents.montreal.qc.ca
		     7D C8 61 52 5D E7 2D 39  4E F1 31 3E E8 B3 27 4B