Saving a core dump on rpi2

[bob prohaska]

Hi all,

Since Peter Holm's stress2 suite seems to very reliably crash an
rpi2 running -CURRENT it seemed worthwhile to try collecting a 
core dump in the hope it might shed some light visible to others
(certainly not me!) on the cause. The intent is to add it to the
collection at www.zefox.net/~fbsd/rpi2/crashes. For some reason
crash dumps aren't being recovered.....

/etc/defaults/rc.conf contains:

dumpdev="AUTO"          # Device to crashdump to (device name, AUTO, or NO).
dumpdir="/var/crash"    # Directory where crash dumps are to be stored
savecore_flags="-m 10"  # Used if dumpdev is enabled above, and present.
                        # By default, only the 10 most recent kernel dumps
                        # are saved.
crashinfo_enable="YES"  # Automatically generate crash dump summary.
crashinfo_program="/usr/sbin/crashinfo" # Script to generate crash dump summary.

There are no overriding directives in /etc/rc.conf, but the only thing
found in /var/crash is:

root at www:/usr/src # ls -l /var/crash
total 4
-rw-r--r--  1 root  wheel  5 Jun 11 08:27 minfree
root at www:/usr/src # more /var/crash/minfree
2048

Permissions on /var/crash are:
drwxr-x---   2 root     wheel          512 Jun 11 08:27 crash
which seem acceptable if a little insecure.

There is a physical swap partition in /etc/fstab, thus:
/dev/da0p2      none            swap    sw                              0 0
with a size of
   8388648   6291456    2  freebsd-swap  (3.0G)

It looks as if all the pieces are in place, but core dumps aren't being
recovered....what am I doing wrong?

Thanks for reading,

bob prohaska