coreboot-kgpe-d16/src/drivers/secunet/dmi
..
eeprom.h
Kconfig
Makefile.inc
smbios.c