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.
This also contains the Keystone Security Monitor (SM) in sm.
We suggest building the bbl image using the top-level build in keystone.
If you wish to build the bbl independently, either: follow the build instructions here or follow the flow in the Makefile in keystone.
The top-level Makefile will always be the most up-to-date build instructions.
Make sure that qemu-riscv64 is in your PATH.
qemu-riscv64 can be compiled from the upstream qemu source v4.0.0 (try ./configure --target-list=riscv64-linux-user).
Current test only covers the security monitor, and exists as a separate build system.
cd sm/tests
mkdir build; cd build
cmake ..
make
... and run tests!
make test
To see the why your test fails the test, you should try
make test CTEST_OUTPUT_ON_FAILURE=TRUE