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