/bsp/coreip-s51-arty/
../
design.dts
metal.h
metal.lds
openocd.cfg
settings.mk