RISC-V Frontend Server
Clone or download
aswaterman Support HTIFs that are aware of memory preloading (#55)
This is an alternative to #53; see that PR for context.
Latest commit d630eb4 Sep 19, 2018


RISC-V Frontend Server


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.

Build Steps

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.