[libre-riscv-dev] daily kan-ban update 20may2020

Luke Kenneth Casson Leighton lkcl at lkcl.net
Wed May 20 20:44:03 BST 2020


On Wednesday, May 20, 2020, Cole Poirier <colepoirier at gmail.com> wrote:

> On May 20 2020, at 8:14 am, Luke Kenneth Casson Leighton <lkcl at lkcl.net>
> wrote:
>
> > btw as a third (incremental) step, after integrating it and putting in
> > the unit test into soc.fu.logical.test/test_pipe_caller.py, you should
> > actually be able to integrate the formal proof into the Logical
> > pipeline as well.
>
> Will copy this to and comment on it at https://bugs.libre-soc.org/
> show_bug.cgi?id=316.


good call.


> >> > * talked with Marketnext about the resource requirements for the May
> >> > 30 Hackathon.
> >>
> >> Is there a document about this on the wiki?
> >
> > there isn't.  there should be.  however it is up to Marketnext.  the
> > issue is that i am not sure if they understand quite how high the
> > resource requirements are, and consequently how long it will take
> > people in India (and other places across the world) to install the
> > development environment.
>
> Ah that's an interesting constraint. Would it be possible (or even
> desirable) to provide them with a compressed archive of all the
> necessary repos, tools, etc in a frozen state?


this requires the organisers to understand.  they are not keenly
technical.  they love the idea.

l.



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


More information about the libre-riscv-dev mailing list