You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
|
|
|
RISC-V Proxy Kernel and Boot Loader
|
|
|
|
|
=====================================
|
|
|
|
|
|
|
|
|
|
About
|
|
|
|
|
---------
|
|
|
|
|
|
|
|
|
|
The RISC-V Proxy Kernel, `pk`, is a lightweight application execution
|
|
|
|
|
environment that can host statically-linked RISC-V ELF binaries. It is
|
|
|
|
|
designed to support tethered RISC-V implementations with limited I/O
|
|
|
|
|
capability and and thus handles I/O-related system calls by proxying them to
|
|
|
|
|
a host computer.
|
|
|
|
|
|
|
|
|
|
This package also contains the Berkeley Boot Loader, `bbl`, which is a
|
|
|
|
|
supervisor execution environment for tethered RISC-V systems. It is
|
|
|
|
|
designed to host the RISC-V Linux port.
|
|
|
|
|
|
|
|
|
|
Build Steps
|
|
|
|
|
---------------
|
|
|
|
|
|
|
|
|
|
We assume that the RISCV environment variable is set to the RISC-V tools
|
|
|
|
|
install path, and that the riscv-gnu-toolchain package is installed.
|
|
|
|
|
|
|
|
|
|
$ mkdir build
|
|
|
|
|
$ cd build
|
|
|
|
|
$ ../configure --prefix=$RISCV/riscv64-unknown-elf --host=riscv64-unknown-elf
|
|
|
|
|
$ make
|
|
|
|
|
$ make install
|
|
|
|
|
|
|
|
|
|
Alternatively, the GNU/Linux toolchain may be used to build this package,
|
|
|
|
|
by setting `--host=riscv64-unknown-linux-gnu`.
|
