/profiles/default/linux/riscv/20.0/
../
rv32imac
rv64gc