/resources/coreboot/t440pmrc_12mb/

• ../
• config
• target.cfg