2020-10-26 05:25 AM
2020-10-27 06:19 AM
There isn't an official docker image but you could probably build one yourself.
I haven't tried it myself but my guess is that you wouldn't be able to use the GDB servers from inside the docker and you would need to launch that from the regular system, which could complicate things. It probably could be achieved through connect to remote instead.