/projects/coreboot/configs/kgpe-d16/2mb/textmode/
../
grub
seabios
targets