On Thurs, Jul 06, 2023 at 07:33, Jessica Clarke <jrt...@debian.org> wrote:
> > 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.