/src/mainboard/ocp/deltalake/
../
Kconfig
Kconfig.name
Makefile.inc
acpi
board.fmd
board_info.txt
bootblock.c
devicetree.cb
dsdt.asl
fadt.c
include
ipmi.c
ipmi.h
loglevel_vpd.c
ramstage.c
romstage.c
uartio_vpd.c
vpd.h