SD cards

For, for instance, Raspberry Pi and Pandaboard work

We have 5*8G, 1*16G, and 1*4G.

We're willing to trade size-for-size if you have to take one away. (Of course, if you have one to trade, you really don't need to trade it. This policy may not be as helpful as it seemed at the beginning of this paragraph...)

USB stick

Moving things from machine to machine

We have 3*16G.

Disks

We have a couple of 2TB SATAs for external storage (via a startec dock). Again, these should not be treated as backed up (or not reused). We'll try and not reuse these devices too quickly, but no promises. You are welcome to bring your own SATA and use our dock, of course.