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