kern: add some extra metadata to the coredump devctl notificationHEADmain

We already have a chance of cutting it close to the devctl limit
depending on the path, but this should be less than 50 bytes extra on
average.  The jid gives us enough for userland to be able to actually
locate the corefile on disk in case it was produced in a jailed process,
the rest is just icing on the cake.  We could extract pid/signo from the
core itself, but it's nice to be able to do some pre-filtering before
we even touch the core.

I'd like to use this in a (near-future) ucored port that will hoover up
corefiles from all over the system depending on some criteria.

Reviewed by:	imp (earlier version), kib
Differential Revision:	https://reviews.freebsd.org/D51164

0 files changed, 0 insertions, 0 deletions