Posting here as in the hope someone will be able to help. I raised an issue on ArduinoCore-mbed#958 regarding extracting the crash information from the Giga.
The main reason is due the Giga falling over with dreaded flashing LED after many hours of running. I've rebuilt ArduinoCore-mbed to update platform.crash-capture-enabled and platform.fatal-error-auto-reboot-enabled flags, but the crash isn't captured and it doesn't restart.
Thanks @steve9; it's now restarting! I'm still not getting any crash data though. I'm tried monitoring (via TX0/RX0) but nothing is coming through. I've now tried all TXn/RXn pins and nothing. I know it works as if I use Serial1 I do get output.
I've not done anything specifically to direct the fault output to TX0/RX0. My blackbox is set to 115200 to match system default - that's it. I'm aware of a macro REDIRECT_STDOUT_TO to redirect console output, but I'm not using it.