libpolyml/libffi/Makefile.am | 4 4 + 0 - 0 !
libpolyml/libffi/README | 2 2 + 0 - 0 !
libpolyml/libffi/configure.ac | 5 5 + 0 - 0 !
libpolyml/libffi/include/ffi_common.h | 2 2 + 0 - 0 !
libpolyml/libffi/src/riscv/ffi.c | 445 445 + 0 - 0 !
libpolyml/libffi/src/riscv/ffitarget.h | 68 68 + 0 - 0 !
libpolyml/libffi/src/riscv/sysv.S | 214 214 + 0 - 0 !
7 files changed, 740 insertions(+)

 [patch] new risc-v port (#281)

* Add RISC-V support

This patch adds support for the RISC-V architecture (https://riscv.org).

This patch has been tested using QEMU user-mode emulation and GCC 7.2.0
in the following configurations:

* -march=rv32imac -mabi=ilp32
* -march=rv32g -mabi=ilp32d
* -march=rv64imac -mabi=lp64
* -march=rv64g -mabi=lp64d

The ABI currently can be found at
https://github.com/riscv/riscv-elf-psabi-doc/blob/master/riscv-elf.md .

* Add RISC-V to README

* RISC-V: fix configure.host

* Backported by Jessica Clarke <jrtc27@jrtc27.com>