[libre-riscv-dev] formal proof NLnet proposal in
hendrik at topoi.pooq.com
Mon Sep 23 13:23:41 BST 2019
On Mon, Sep 23, 2019 at 07:55:04PM +0800, Luke Kenneth Casson Leighton wrote:
> > Sometime in the next few weeks I'll try installing this stuff and see what
> > happens. I'll get a larger hard drive if necessary.
> 50mb space should easily be enough. Maybe 100mb including all deoendencies.
Yes, I have that!
More information about the libre-riscv-dev