[libre-riscv-dev] daily kan-ban update 13jul2020

[Luke Kenneth Casson Leighton]

task list:

https://bugs.libre-soc.org/showdependencytree.cgi?maxdepth=1&id=383&hide_resolved=1

yesterday:

got a significant way running microwatt helloworld binary.  further
progress needs a 16550 UART.

today:

* closed a number of completed bugreports
* added unit tests for extswsli
* reported v3.0B spec bug
* started on formal proof for extswsli

l.



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