I created new merge request with new ps option which I believe is needed. Can you please take a look at it?
If you agree, I will hand over the newlib patch after monday (if needed).
Note: Using new external symbol is a way to not change API, which is IMHO preferable in this case.
Associate Software Engineer
Red Hat Czech s.r.o.
612 45 Brno