cvw/wally-pipelined/config/old
..
rv32icfd
rv64icfd
rv64imc