RPi or MK802 for HTPC?
 

While putting together a systems spec for a Micro ATX build HTPC, I came across these two "Mini PC" that aren't as powerful but a lot cheaper and perfect for an HTPC. Has anyone experience with either and could recommend one over the other?


Thanks.

Yea, I was thinking that these Mini PCs would be a little bit of a hassle but fun to hack around with. They can run video at 1080p in H264 format. From what I've seen so far they're a bit slow, but faster than a few of the computers I still have around.