Hello Dave,
I'd like to better understand why s390-on-x86_64 analysis is not
supported e.g. respective pair in get_current_configuration is missing?
Is it due to the endianness mismatch ? gdb does support setting the
endianness of a target? Or are there other problems?