/nuttx/configs/sam3u-ek/kernel/
../
Makefile
kernel.ld