I'm going to get one, anyway, and would like to support a porting
effort to this platform. Video will not be possible, I'm afraid, but
the Raspberry PI looks like a nice base for a cheap, small server
(800k Dhrystones, some 60% of a BeagleBone AFAIK).
thank you for the pointers to previous threads. I just had missed them
in the hackers lists and did not find anything in the ARM list, so I asked.
The threads indicate that a number of people was interested in looking
at the Raspberry PI, and I think it is a great chance to have support
for that device, since I expect it to become a huge success (not
economically, since it is built by a non-profit organization, but with
respect to visibility in the public).
But we'll probably never be able to take advantage of its multi-media
features, which is too bad.
Well, then lets wait for the device to actually appear in the wild and
see whether it is practical to start porting. AFAIK, there is just a
(hard-coded) trivial primary boot loader that accesses the SD card.
But having Linux (and Linux sources) for this device on a SD card will
help to understand the hardware and then we'll see how far we get ;-)