Hello,

As a general rule, help from the community is always welcome :)

When the time comes, the patch will be submitted as a github PR and
everyone is warmly invited to take part in that discussion.

And of course, PRs are also welcome anytime at
https://github.com/nojb/riscv-ocaml !

Best wishes,
Nicolás


On Sun, Feb 25, 2018 at 10:35 PM, SP <sp@orbitalfox.eu> wrote:

>
>
> On 25 February 2018 19:29:45 GMT+00:00, David Allsopp <
> dra-news@metastack.com> wrote:
> >will hopefully start the process of upstreaming the RISC-V patches.
>
> Will you be looking for help from the wider community for this?
>
> --
>     SP
>