path: root/resources/coreboot/kgpe-d16-rdimm-nopcirom_16mb/board.cfg

cbtree="fam15h_rdimm"
romtype="normal"
arch="x86_64"
payload_grub="y"
payload_grub_withseabios="n"
payload_grub_withtianocore="n"
payload_seabios="n"
payload_tianocore="n"