I have updated the coreboot site with some further ARM info: http://www.coreboot.org/ARM OpenRD-Ultimate http://www.globalscaletechnologies.com/t-openrdudetails.aspx has a PCIe slot right on the back panel. Maybe we should use this if this GSOC project gets approved. -Bari