Hi, this adds OpenOCD with RISC-V support to Guix. There is a problem though: riscv-openocd bundles libjaylink, which is also available as a package. The available package cannot be used because it is too old and riscv-openocd has riscv-specific additions made to it. So the question is: does this justify using the bundled library or should I do something? (if yes, what?) I have successfully used the package to communicate via JTAG with a Sipeed Nano and a JLink V8. I built this package successfully on: x86_64-linux, aarch64-linux Malte