Remaining boards are Kconfig'd now. Whether they work
[coreboot.git] / src / mainboard / supermicro / x6dhe_g2 / devicetree.cb
2009-08-12 Patrick GeorgiKconfig!