further development of OLPC. Set vsm size to 35k. add PCI IRQ for USB.
[coreboot.git] / targets / embeddedplanet /
drwxr-xr-x   ..
drwxr-xr-x - ep405pc