[submodule "riscv-pk"]
path = riscv-pk
url = https://github.com/riscv-and-rust-and-decaf/riscv-pk.git
