benchmark.py goes in the t-crest folder. Running it requires Python 3.
benchmarking.patch is applied in the patmos folder using
git apply benchmarking.patch
A folder called benchmark must exist in the t-crest folder.
The benchmarks were run on SSPM-device branch. Take notice that configuration and programming happens and works.