Is there anyone that can shed some light on the “mbed_semihost_api”?
(Files found in mbed-os/platform/source/mbed_semihost_api.c)
I’m unable to find any usage examples or documentation for it.
I could try hacking my way through it, but I figured I’d ask here first.
(Yeah, I need semihosting due to a very limited number of pins on the MCU. The UART pins conflict with the SWD/NRST pins, there is no SWO pin, and I need a terminal towards the MCU during debugging)