../../../default/linux/riscv/23.0/rv64/lp64d
..
