--- PKGBUILD	2020-11-03 16:39:33.345578859 +0100
+++ PKGBUILD-with-gdbserver	2020-11-03 16:10:41.384703748 +0100
@@ -59,6 +59,7 @@ package_gdb() {
 
   cd gdb-$pkgver/build
   make -C gdb DESTDIR="$pkgdir" install
+  make -C gdbserver DESTDIR="$pkgdir" install
 
   # install "custom" system gdbinit
   install -dm 755 "$pkgdir/etc/gdb"