[foxboard] How to build or get gdbserver?

[kaffbeemer]

Hi all,

does anybody know how the gdbserver sources have to be built? A simple 
make doesn't obviously do it. And I cannot find any config.

Thanks in advance
Klaus