Re: [PATCH] qemu: enable QEMU core dump by default on Linux