gnat on arm-linux-gnueabi only has sjlj exception support, not zcx
That states a fact - what's the bug / enhancement request?
the enhancement request is to add zero cost exception support.
Yep. Various individuals seem to be working on it, but I don't know when/if this will produce useful results.
AdaCore has contributed ZCX support on the mainline.