…
..
acpi_tables.c
board_info.txt
bootblock.c
brd_gpio.h
devicetree.cb
dsdt.asl
Kconfig
Kconfig.name
leafhill.8192.fmd
leafhill.16384.fmd
mainboard.c
Makefile.inc
romstage.c