Hi,
I'm working with Genode on zynq hardware together with Johannes.
I just tested 'make run/ldso' with try/catch statement commented out. Here's the result:
Genode 14.11
int main(): --- create local services ---
int main(): --- start init ---
int main(): transferred 1020 MB to init
int main(): --- init created, waiting for exit condition ---
[init -> test-ldso] C++ runtime: Genode::Rm_session::Region_conflict
[init -> test-ldso] void* abort(): abort called