/resources/coreboot/hp8470pintel_16mb/

• ../
• board.cfg
• config