.gitmodules

[submodule "riscv-pk"]
	path = src/riscv-pk
	url = ../riscv-pk.git