[libre-riscv-dev] formal proof NLnet proposal in

Hendrik Boom 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!

-- hendrik

More information about the libre-riscv-dev mailing list