/board/discovery-stm32f072/
../
board.c
board.h
build.mk
ec.tasklist
gpio.inc
openocd-flash.cfg