coreboot-kgpe-d16/src/boot/Config.lb

object elfboot.o
object hardwaremain.o
if CONFIG_FS_STREAM
	object filo.o
end