/board/discovery/

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