/board/coreboot/coreboot/
../
Kconfig
MAINTAINERS
Makefile
coreboot.c
coreboot_start.S