Gumstix Verdex

If the Gumstix won't boot, you can (rather slowly) flash the filesystem over serial.

If the gumstix will boot, then flashing from RAM disk over ssh is faster, but if the process fails or gets interrupted you'll have to fall back on the serial method. Reflash over ssh