Debian 13 will likely include an official port for RISC-V devices

One of the notable comments made in that Debian release team update is that while RISCV64 (RISC-V 64-bit) isn't yet on the official architecture list, the port is making good progress. For the Debian 13 release in a year and a half to two years out, it's expected to ship RISC-V 64-bit support. The architecture qualification will need to happen later in the Debian Trixie cycle