Exactly, there should be options to define the file which should be
downloaded on the target and used by the gdbserver (usually the stripped
file) and which file should be used for debugging in the debug view
(usually the unstripped file).
As I am relatively new to Eclipse, where can I make a feature request
related to this topic?