riscv-pk
RISC-V Proxy Kernel
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 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.
- Versions: 1.0.0
- Website: https://github.com/riscv-software-src/riscv-pk
- Licenses: Modified BSD
- Package source: gnu/packages/virtualization.scm
- Builds: See build status
- Issues: See known issues
Installation
Install the latest version of riscv-pk as follows:
guix install riscv-pk
Or install a particular version:
guix install riscv-pk@1.0.0
You can also install packages in augmented, pure or containerized environments for development or simply to try them out without polluting your user profile. See the guix shell documentation for more information.
Badge code
You can use the following badge to inform users of riscv-pk about the latest version available in Guix.
Example HTML:
<a href='https://packages.guix.gnu.org/packages/riscv-pk'><img src='https://packages.guix.gnu.org/packages/riscv-pk/badges/latest-version.svg' alt='Version in GNU Guix'></a>
Example Markdown:
[](https://packages.guix.gnu.org/packages/riscv-pk)
Example Org:
[[https://packages.guix.gnu.org/packages/riscv-pk][https://packages.guix.gnu.org/packages/riscv-pk/badges/latest-version.svg]]