i have heard the name olimex in this context, too. a big problem with all alternatives is often that graphics or video decoding require binary firmware, or work only on linux, and no documentation exists from the chip vendors.
i think generally there's a lot of low-power linux stuff to chose from, but once you plan to port plan9 to it, the fragmented nature of the arm platforms becomes a problem. no free lunch :(
