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

Luke Kenneth Casson Leighton lkcl at lkcl.net
Sat Mar 28 11:52:34 GMT 2020


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

On Fri, Mar 27, 2020 at 7:20 PM Luke Kenneth Casson Leighton
<lkcl at 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.



More information about the libre-riscv-dev mailing list