Rahul beat me to it, but as @labath said, the easiest form is probably a Minidump. If we don’t need the privacy concerns from the tombstone the solution may just have LLDB be invoked when the Kernel wants to dump a core for a given process, and then have LLDB attach and generate a Minidump with all the module information included.