(use-modules
 (gnu packages embedded))

(concatenate-manifests
 (list
  (packages->manifest
   (list
    (make-gdb-arm-none-eabi)))

  (specifications->manifest
   (list
    "arm-none-eabi-toolchain"
    "gdb"

    "openocd"
    "stlink"

    "make"

    "man-db"))))