/resources/coreboot/hp8470pintel_16mb/

• ../
• config
• target.cfg