config/coreboot/t440plibremrc_12mb/target.cfg


1
2
3
4
5
6
7
8

tree="haswell"
xarch="i386-elf"
payload_seabios="y"
payload_seabios_withgrub="y"
payload_memtest="y"
grub_scan_disk="nvme ahci"
grubtree="xhci"
vcfg="haswell"