/build/Linux-RISCV64-GCC/
../
Makefile
platform.h