/projects/coreboot/configs/x200_16mb/
../
arch
config