mirror of
https://github.com/rcore-os/rCore.git
synced 2024-11-23 00:16:17 +04:00
41 lines
1.4 KiB
Markdown
41 lines
1.4 KiB
Markdown
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-unknown-elf
|
|
$ make
|
|
$ make install
|
|
|
|
Alternatively, the GNU/Linux toolchain may be used to build this package,
|
|
by setting `--host=riscv64-unknown-linux-gnu`.
|
|
|
|
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
|
|
`$RISCV/riscv64-unknown-elf`, and 32-bit versions into
|
|
`$RISCV/riscv32-unknown-elf`.
|