As mentioned in the title, the GDB server port cannot be set with a command line parameter. Specifically, I tried it with ./main -ietiss.ini -p gdbserver --plugin.gdbserver.port 1234. The output from ETISS looks good, however GDB times out when trying to connect to the non-standard port. Connecting to the standard port (2222) works, meaning that the command line parameter got ignored.
ETISS: Info: Adding Plugin gdbserver
ETISS: Info: Plugin "gdbserver" loaded via library interface "ETISSINCLUDED"
ETISS: Info: plugin.gdbserver.port written from command line
options[plugin.gdbserver.port] = 1234
As mentioned in the title, the GDB server port cannot be set with a command line parameter. Specifically, I tried it with
./main -ietiss.ini -p gdbserver --plugin.gdbserver.port 1234. The output from ETISS looks good, however GDB times out when trying to connect to the non-standard port. Connecting to the standard port (2222) works, meaning that the command line parameter got ignored.