cvw/config/rv32imc
..
wally-config.vh