The RISC-V proxy kernel is a thin layer that services system calls generated by code built and linked with the RISC-V newlib port.

We assume that the RISCV environment variable is set to the RISC-V tools install path, and that the riscv-gcc package is installed.

$ mkdir build
$ cd build
$ CC=riscv-gcc ../configure --prefix=$RISCV/riscv-elf --host=riscv
$ make
$ make install