config/coreboot/hp8470pintel_16mb/target.cfg


1
2
3
4
5
6
7
8
9
10

# SPDX-License-Identifier: GPL-3.0-or-later

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