[libre-riscv-dev] daily kan-ban update 01jun2020
Luke Kenneth Casson Leighton
lkcl at lkcl.net
Mon Jun 1 19:33:56 BST 2020
On Mon, Jun 1, 2020 at 7:30 PM Cole Poirier <colepoirier at gmail.com> wrote:
> attempts on my own(ish), I can see 'the path forward' to what I should
> have done. I want to be able to contribute more than I currently am,
> but, I'm realizing that unfortunately I have to learn to crawl before I
> can walk then run.
you're braver than i am. i can contribute small additions to proofs.
> I've started the journey at least, and I learn many
> new things every day.
> If proof_regfile/Register is done, should I try writing
> proof_regfile/Regfile? or if Michael is doing this, I volunteer to work
> on TRAP and/or SYS instructions.
TRAP, SYS and SPR are a higher priority at the moment.
More information about the libre-riscv-dev