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