cvw/wally-pipelined/config/coremark-64i
..
wally-config.vh