> I disagree. Spike exists to be an easy simulator for people extending
> the RISC-V ISA to hack on, and to give software developers something to
> start testing their code on as extensions are in-flight (both of which
> are also served by the Sail model, which is technically the official
> golden model, even if many still prefer to use Spike). However, if
> you're not using the latest version, any draft extension specifications
> implemented by it have likely moved on in the meantime to newer
> incompatible drafts, rendering them obsolete, and any frozen (or even
> ratified) specifications are likely to be implemented by QEMU. Plus QEMU
> will be much, much faster thanks to its JIT approach, and has a rich set
> of devices available, unlike Spike which has just a UART last I checked,
> not even any form of storage, meaning it can only run basic binaries or
> boot kernels with an in-memory filesystem.
>
> I therefore do not see any point in shipping some old version of Spike
> in Debian. What is your use case for having it?
I just want to provide a way to get pre-built Spike for people who may
need that. As you say, it's useless for people who need hacking Spike.
Also for people who just want to run RISC-V binary. I will use a unofficial
way like PPA for this. So you can close this bug.
Thanks for your explanation. Sorry for bothering.