config/coreboot/kgpe-d16-rdimm_16mb/target.cfg


1
2
3
4
5
6
7
8

tree="fam15h_rdimm"
arch="i386-elf"
payload_seabios="y"
payload_seabios_withgrub="y"
payload_memtest="y"
crossgcc_ada="n"
vendorfiles="n"
grub_timeout=10