PsPIN/OSMOSIS
Running the code with Docker
$ git clone git@spclgitlab.ethz.ch:mkhalilov/pspin-osmosis.git$ cd ./pspin-osmosis/ && git submodule update --init --recursive$ docker-compose up -d$ docker ps # get the containerID$ docker exec -it <containerID> bash$ cd /opt/pspin/
$ cat sourceme-template.sh | \
sed "s%RISCV_GCC=%RISCV_GCC=/tools/riscv-gcc/bin/%g" | \
sed "s%PSPIN_HW=%PSPIN_HW=/opt/pspin/hw/%g" | \
sed "s%PSPIN_RT=%PSPIN_RT=/opt/pspin/sw%g" > sourceme.sh$ source ./sourceme.sh$ cd ./hw/verilator_model/$ VERILATOR_COMPILER_WORKERS=$(nproc) make release$ cd ../../examples/empty/$ make deploy && make driver$ make run