/sys/boot/fdt/dts/riscv/
../
spike.dts