This repository contains the front-end server library, which facilitates communication between a host machine and a RISC-V target machine. It is usually not meant to be used as a standalone package.

Execute the following commands to install the library, assuming you've declared the RISCV environment variable to point to the RISC-V install path:

$ mkdir build
$ cd build
$ ../configure --prefix=$RISCV --target=riscv64-unknown-elf
$ make install

The --target flag is optional and defaults to riscv64-unknown-elf. The target is used to determine the location of loaded programs (e.g. pk), so it should match the host that pk runs on.