(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"))))