I was pleasantly surprised to find out that Raspberry Pi boards (http://www.raspberrypi.org/faqs) are no longer on a forever backlog. I got mine from element 14/newark.
One surprise was that the first SD card I loaded with Linux and tried to boot from failed with:
mmc0: controller never released inhibit bit(s)
mmc0: timeout waiting for hardware interrupt
Checked out an SD card compatibility page: http://elinux.org/RPi_SD_cards and bought one that worked.
