I haven't encountered any problems running x86 programs on the DTK. Performance is fine (with a slower CPU than the MBA) and everything I tried running worked.

I haven't encountered any problems running x86 programs on the DTK. Performance is fine (with a slower CPU than the MBA) and everything I tried running worked. I'm sure someone will hit problems once a few orders of magnitude more people are using it, but most people won't.