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