/board/it8380dev/

• ../
• Makefile
• board.c
• board.h
• build.mk
• ec.tasklist
• gpio.inc