coreboot-kgpe-d16/configs
..
builder
config.emulation_qemu_x86_i440fx
config.emulation_qemu_x86_i440fx_debug
config.emulation_qemu_x86_i440fx_noserial
config.intel_galileo_gen1
config.intel_galileo_gen2
config.intel_galileo_gen2.debug
config.intel_galileo_gen2.fsp1.1
config.intel_galileo_gen2.fsp2.0
config.intel_galileo_gen2.sd
config.intel_galileo_gen2.vboot
config.intel_harcuvar
config.pcengines_apu2