Re: [libre-riscv-dev] NLNet Funding Proposals for the Libre RISC-V SoC: call for participation

Re: [libre-riscv-dev] NLNet Funding Proposals for the Libre RISC-V SoC: call for participation

[Luke Kenneth Casson Leighton]

just a quick followup: we got the funding.

therefore: if there is anyone who can program in c/c++ or python who
would like to be the recipient of donations for working on libre
source code that will actually end up creating real silicon, with
skills in assembler, HDL, compilers, formal mathematical proofs,
kernel driver development or simply an attitude to learn whatever it
takes to get the job done: do get in touch.

time for us to say "we don't need permission to own our own hardware".

l.

On Mon, Sep 23, 2019 at 7:56 AM Luke Kenneth Casson Leighton
<lkcl@lkcl.net> wrote:
>
> [please do remove all but libre-riscv-dev when replying, thx]
>
> https://libre-riscv.org/nlnet_proposals/
>
> A series of funding proposals, each for EUR 50,000, have been submitted to NLNet.  These are for charitable donations and may be given to either individuals or to Universities (not to Corporations) for completion of an allotted milestone.
>
> The basic idea is to think through and plan for commercial completion all of the tasks that will make the Libre RISC-V SoC a success. It's a lot! We have the following:
>
> a second Vulkan 3D driver, which will be a port of AMDVLK. similar to swiftshader, for the Libre RISCV SoC, except taking into account the Vectorisation, predication and custom accelerated opcodes.
> a video acceleration initiative: with NEON assembler being up to the job of decoding 720p video on recent ARM64 processors, the idea is to design instructions that will do the job and then follow through getting the code upstream.
> two related proposals which, in combination, will result in an actual 180nm ASIC being taped out at TSMC.
> a formal mathematical proof of the hardware design, proving inviolate guarantees of its correctness. this because although auditing the code is possible, it is both laborious, error prone, and could be compromised. mathematical proofs may be run by anyone and are inviolate.
> an augmentation of gcc to support the processor’s parallel and vectorisation capabilities.
>
>
> Yes, really: 180nm ASICs only cost around EUR 600 per square millimetre, and with around 20 or so mm^2 it is completely within the realm of possibility for an NLNet Grant to fund a test ASIC. With each square millimetre being around 40,000 gates in 180nm, that's around 800,000 gates, which is enormous.
>
> We would then have a proven ASIC, and moving up to 40nm or below, which would require around the USD 2m mark, is a far less risky proposition.
>
> The irony is that whilst these funding proposals are quite easy to write, we also need to find people willing to do the work! In particular, we need at least one EU Citizen per project. They do not have to be permanently resident in the EU, they do however need an EU residence. Yes this includes the UK at the time of writing.
>
> This is an extremely important strategic project that puts you - software libre developers - in the driving seat of modern technology instead of picking up the reverse engineering crumbs that fall from the Corporate table with at least a 2 year delay.
>
> If you would like to help and actually receive donations (directly transferred) from NLNet for doing so, please do contact me directly or on libre-riscv-dev.
>
> L.
>
>
>
> --
> ---
> crowd-funded eco-conscious hardware: https://www.crowdsupply.com/eoma68
>

_______________________________________________
libre-riscv-dev mailing list
libre-riscv-dev@lists.libre-riscv.org
http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev

Re: [libre-riscv-dev] NLNet Funding Proposals for the Libre RISC-V SoC: call for participation

[Immanuel, Yehowshua U]

> "we don't need permission to own our own hardware”.

Oooh

_______________________________________________
libre-riscv-dev mailing list
libre-riscv-dev@lists.libre-riscv.org
http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev

Re: [libre-riscv-dev] NLNet Funding Proposals for the Libre RISC-V SoC: call for participation

[Luke Kenneth Casson Leighton]

On Fri, Mar 13, 2020 at 1:06 AM Immanuel, Yehowshua U
<yimmanuel3@gatech.edu> wrote:
>
> > "we don't need permission to own our own hardware”.
>
> Oooh

haha, i take it you like that one?  simple and cutting, isn't it?

l.

_______________________________________________
libre-riscv-dev mailing list
libre-riscv-dev@lists.libre-riscv.org
http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev

Re: [libre-riscv-dev] NLNet Funding Proposals for the Libre RISC-V SoC: call for participation

[Immanuel, Yehowshua U]

>>> "we don't need permission to own our own hardware”.
>> 
>> Oooh
> 
> haha, i take it you like that one?  simple and cutting, isn't it?
> 

Yes. 
We are LibreSociety - We Don't Need Permission to Own Our Own Hardware
_______________________________________________
libre-riscv-dev mailing list
libre-riscv-dev@lists.libre-riscv.org
http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev

Re: [libre-riscv-dev] NLNet Funding Proposals for the Libre RISC-V SoC: call for participation

[Adrienne G. Thompson]

On Thu, Mar 12, 2020 at 7:46 PM Luke Kenneth Casson Leighton <lkcl@lkcl.net>
wrote:

> just a quick followup: we got the funding.
>

Congrats Luke!!

All the very best for the project. Assembler used to be a lot of fun.:)

As I mentioned, once I'm done with the fundraising I'll be writing a lot of
code in Python - but it's all for C-Graph!

Cheers
Adrienne
-- 
Freedom - no pane, all gaiGN!

GNU C-Graph - http://www.gnu.org/software/c-graph
Code Art Now - http://codeartnow.com
Abertheid Campaign - http://www.abertheid.info
Follow me on Twitter @AdrienneGT @GNUcgraph
_______________________________________________
libre-riscv-dev mailing list
libre-riscv-dev@lists.libre-riscv.org
http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev

Re: [libre-riscv-dev] NLNet Funding Proposals for the Libre RISC-V SoC: call for participation

[Samuel Falvo II]

Congrats!!

On Thu, Mar 12, 2020 at 5:46 PM Luke Kenneth Casson Leighton <lkcl@lkcl.net>
wrote:

> takes to get the job done: do get in touch.
>

I won't be able to focus on it, unfortunately.

-- 
Samuel A. Falvo II
_______________________________________________
libre-riscv-dev mailing list
libre-riscv-dev@lists.libre-riscv.org
http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev

Re: [libre-riscv-dev] NLNet Funding Proposals for the Libre RISC-V SoC: call for participation

[Luke Kenneth Casson Leighton]

On Fri, Mar 13, 2020 at 1:38 AM Samuel Falvo II <sam.falvo@gmail.com> wrote:

> Congrats!!

thanks sam (and adrienne, and hector)

> I won't be able to focus on it, unfortunately.

that's ok.  that you taught us the value of formal mathematical proofs
for HDL unit tests is an incredibly valuable contribution in itself
that's saving us a vast amount of time and effort, allowing us to
focus NLNet's funds much more effectively.

warmly,

l.

_______________________________________________
libre-riscv-dev mailing list
libre-riscv-dev@lists.libre-riscv.org
http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev