On 4/10/19 7:34 AM, Aurelien Jarno wrote:
control: tag -1 + wontfix
...
The RISC-V Debian port indeed targets rv64gc/lp64d: https://wiki.debian.org/RISC-V#Hardware_baseline_and_ABI_choice There is no plan to support other ABIs so far, so tagging this bug as wontfix.
What is the method to install Debian sid into a QEMU/spike vm ? Is there a document anywhere? Dennis