/board/nucleo-g431rb/
../
board.c
board.h
build.mk
ec.tasklist
gpio.inc