dumpctl(category30-tips-tricks-fragen.html) - phpMan

coredumpctl (1)      - Retrieve and process saved core dumps and metadata
kdumpctl (8)         - control interface for kdump