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