Re: [libre-riscv-dev] extremely busy crowdsupply update started

[Luke Kenneth Casson Leighton <lkcl@lkcl.net>]

---
crowd-funded eco-conscious hardware: https://www.crowdsupply.com/eoma68

On Fri, Mar 27, 2020 at 7:20 PM Luke Kenneth Casson Leighton
<lkcl@lkcl.net> wrote:

> my feeling is, we're wasting our time trying to "manually" create both
> a processor and also a simulator, from "scratch", when there are
> perfectly good, machine-readable expressions (at least for the integer
> instructions), like this:

captured here:
http://bugs.libre-riscv.org/show_bug.cgi?id=269

let's discuss that on that bugreport.

btw, one important thing: the "original" NLNet Grant is *running low*
because of our need to transfer to POWER ISA (the expectation was to
use an existing RV codebase such as minerva and jump-start straight
from running working code).

therefore, the way we need to do this is for people to pitch in with
other tasks that *are* allocated new budgets, such as the Simulator,
formal proofs, and so on.

this means we need to *up our game* somewhat because we'll need to
work collaboratively and keep in touch regularly.  suggestions on how
to do that appreciated.

l.

_______________________________________________
libre-riscv-dev mailing list
libre-riscv-dev@lists.libre-riscv.org
http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev