#include "gdbsupport/version.h"
const char version[] = "12.1";
const char host_name[] = "x86_64-pc-linux-gnu";
const char target_name[] = "riscv32-unknown-elf";