config/coreboot/kgpe-d16-rdimm_2mb/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
status="untested"