/config/coreboot/x200_4mb/

• ../
• config
• target.cfg