config/coreboot/kgpe_d16_rdimm_16mb/target.cfg


1
2
3
4
5
6
7
8

tree="fam15h_rdimm"
xarch="i386-elf"
payload_seabios="y"
payload_seabios_withgrub="y"
payload_memtest="y"
xlang="c"
grub_timeout=10
grub_scan_disk="nvme ahci"