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.
Maintainer: Jasper Lievisse Adriaanse <jasper@openbsd.org>