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