This is a pre-alpha release of Sealable Memory Protection Keys (SealPK) for RISC-V. The official release will be available soon.
In this document, we provide a guideline for running and testing SealPK. We run our experiments on the Xilinx Zynq Zedboard FPGA and use a modified Linux kernel 4.15 to provide the support for our hardware.
Note: Currently, you need to have access to a Xilinx Zynq Zedboard FPGA to be able to run PHMon experiments.
To test SealPK, you need to scp the bitstream (rocketchip_sealpk.bit.bin), fesvr-zynq, and bbl to your FPGA. Then, you can reconfigure the FPGA with the bitstream and bootup the Linux kernel.
$ cat rocketchip_sealpk.bit.bin > /dev/xdevcfg
$ ./fesvr-zynq bbl_sealpk