I like the idea of smaller dumps. Certainly KernelOnly is most useful from my perspective. Mini is also useful. Having an ascii option for it seems reasonable if it can be done with minimal kernel code. Otherwise, it seems like it would be fairly simple to get it after the fact from a binary dump with kgdb. Kirk McKusick