The video is here:
If you are interested in some of the devices I mentioned, I'd suggest taking a look at this excellent compendium of small Linux devices by Raymii.org. As well, here are some pictures of my Raspberry Pi booting Debian Linux. I was unable to get it working at the meeting because I wrote the image to the SD card's partition instead of the device itself.
If your device name has a number in it, you're probably doing it wrong.Take it from someone with experience.