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.

Reply via email to