The Raspberry Pi started actually shipping (in low volume, and hugely inflated ebay resale) right around the time I started working daily on Teensy 3.0.
Someone from the local Dorkbot group loaned me one of the first Pi boards. I spent a few days setting up a build environment (and dealing with lots of Linux issues....) and porting code. I eventually got the Teensy Loader to run, but it did not work. After devoting nearly a week to it, I just couldn't keep taking time away from developing Teensy 3.0, so I put it all aside.
Maybe in a few weeks I ought to look into it again? One of the troubles I ran into was a known bug in the Raspberry Pi bootloader where it wouldn't work with certain SD cards. Of course, the only really fast card I have was one of those. The other cards were horribly slow, especially since much of what I was trying to do needed more than the available RAM - so swapping to a high latency SD card (4K random write speed under 20 kbytes/sec) was just not practical. It took many hours just to compile the wxwidgets library. Compiling my own code, which takes maybe a couple seconds on my desktop machine took minutes on the Raspberry Pi. After days of dealing with such terrible speed (often I would start a compile job and set a kitchen timer to remind me to come back and look at in an hour), I finally did get it to build and run, but it didn't work.
Can anyone point me to a place where I can buy the new Raspberry Pi with 512 megs of RAM? I just checked Newark, but they're out of stock. Does anyone have it in stock at $35 with reasonable shipping?
Also, if anyone can point me to a 32 gig SD card that is absolutely for sure compatible with the Raspberry Pi and has at least 1 Mbyte/sec random 4K write speed (the "class 2, 4, 6, 10" spec is completely unrelated... many class 10 cards have 10 kbytes/sec random 4k write), that would be a huge help. Until I find such a card, I just don't think it's practical to develop on the Raspberry Pi.
I do want to support development and projects on the Raspberry Pi. I think with 512 megs of RAM, a fast SD card, and after I've ported more of the major Arduino libraries, working with the Raspberry Pi might be more practical?