[rlpb]

Pandaboards run much faster with USB hard drives instead of SD cards. That's what I hear from lots of knowledgeable people, anyway. I've not actually run any benchmarks though.