coreboot-kgpe-d16/src/drivers/smmstore
..
Kconfig
Makefile.inc
smi.c
store.c