[libre-riscv-dev] NLNet Funding Proposals for the Libre RISC-V SoC: call for participation
Luke Kenneth Casson Leighton
lkcl at lkcl.net
Tue Sep 24 19:12:32 BST 2019
On Wednesday, September 25, 2019, Hendrik Boom <hendrik at topoi.pooq.com>
> On Tue, Sep 24, 2019 at 01:04:57PM +0100, Luke Kenneth Casson Leighton
> > On Tue, Sep 24, 2019 at 12:17 PM Luke Kenneth Casson Leighton
> > <lkcl at lkcl.net> wrote:
> > >
> > > hagen, i forgot to ask: would you be happy to be the "point contact"
> > > on the formal-proofs submission? remember that there's no contractual
> > > obligation, here.
> > oh, sorry, i meant hendrik!
> You mean me instead of hagen? Or is that just a new and innovative
> spelling of my name? I've seen many.
> Interesting offer. But:
> I am not an EU citizen or resident, even though I have a Dutch name.
Ah ok :)
> I suffer from attention deficit, which makes me unsuitable for any kind
> of administrative, bureaucratic activity, especially if timely
> responses are ever needed.
> So I may not be the best candidate.
crowd-funded eco-conscious hardware: https://www.crowdsupply.com/eoma68
More information about the libre-riscv-dev