config/coreboot/hp8470pintel_16mb/target.cfg


1
2
3
4
5
6
7

tree="default"
xarch="i386-elf"
payload_seabios="y"
payload_seabios_withgrub="y"
payload_memtest="y"
grub_scan_disk="ahci"
vcfg="hp8470pintel"