/config/coreboot/kgpe_d16_2mb/

• ../
• config
• target.cfg