Trying to debug a bus error on my PS3, I realised that the version of GDB I have installed doesn’t support debugging of SPU programs. There doesn’t seem to be a Debian packaged version available that does, so I built my own.
Because I found no obvious google result, I share this with the zero other people that I expect may one day be interested : the key option for configure appears to be
--enable-targets=spu
This information was brought to you via the gdb.spec file, and a post to the gcc-testresults mailing list.