/resources/coreboot/hp8300usdt_16mb/

• ../
• config
• target.cfg