Re: [libre-riscv-dev] daily status update 05may2020