Their own Debian x86-64 buildbot CI has 16 currently: http://gdb-build.sergiodj.net/builders/Debian-x86_64-native-gdbserver-m64/builds/1403/steps/regressions/logs/stdio
Their own Debian x86-64 buildbot CI has 16 currently: http:// gdb-build. sergiodj. net/builders/ Debian- x86_64- native- gdbserver- m64/builds/ 1403/steps/ regressions/ logs/stdio