Skip to content

kendryte/k510_BBL

Folders and files

NameName
Last commit message
Last commit date

Latest commit

65d012d · Oct 26, 2022

History

9 Commits
Apr 14, 2022
Mar 26, 2022
Mar 26, 2022
Jul 8, 2022
Mar 26, 2022
Mar 26, 2022
Mar 26, 2022
Mar 26, 2022
Mar 26, 2022
Mar 26, 2022
Mar 26, 2022
Mar 26, 2022
Apr 13, 2022
Mar 26, 2022
Mar 26, 2022
Mar 26, 2022
Mar 26, 2022

Repository files navigation

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. Please note that building the binaries directly inside the source directory is not supported; you need to use a separate build directory.

$ mkdir build
$ cd build
$ ../configure --prefix=$RISCV --host=riscv64-linux --with-payload=$PATH_TO_VMLINUX
$ make
$ make install

By default, 64-bit (RV64) versions of pk and bbl are built. To built 32-bit (RV32) versions, supply a --enable-32bit flag to the configure command.

The install step installs 64-bit build products into a directory matching your host (e.g. $RISCV/riscv64-unknown-elf). 32-bit versions are installed into a directory matching a 32-bit version of your host (e.g. $RISCV/riscv32-unknown-elf).