Works fine on ELF. Thanks, Todd. I did try some ECOFF kernels produced by elf2ecoff; i got a message say that the "a.out file" had no symbols. It's not a.out, and it has enough symbols for kvm_mkdb to do its thing... otherwise, great. please turn it on for mipse[bl].