[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>
> > 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/
> >> > * 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.
crowd-funded eco-conscious hardware: https://www.crowdsupply.com/eoma68
More information about the libre-riscv-dev