I'm currently trying to setup a debugging environment outside of S32DS. I've seen other tips concerning the use of the pegdbserver_power_console outside of the S32 IDE and I've successfully setup the gdbserver to connect to my devboard and I can also connect the GDB to this server to flash and debug code. So far so good. But I'm not able to replicate a semihosting setup like this. Is there any documentation on how to achieve this? Also, is there any documentation concerning the monitor commands supported by the PE GDB Server?