/resources/coreboot/hp8300usdt_16mb/

• ../
• board.cfg
• config