O Debian agora é suportado em hardware RISC-V de 64 bits. Então, se você quiser usar o sistema operacional Debian em dispositivos RISC-V de 64 bits, a boa notícia é que agora existe um port oficial para essa arquitetura RISC-V de 64 bits (riscv64) na infraestrutura Debian. Confira os detalhes dessa novidade.