have you solved this problem? I have also encountered this problem, but I don’t know how to start, because I read the makefile and used make -n ARCH=riscv32-nemu run to observe the execution of this make, and found that INC_PATH includes $(NAVY_HOME)/libs/libc/include, but it just can’t link。