Ya está, ayer no estaba la v2.5 del SDK de AIR para bajar, estaba la 2.0.2 (comprobado ahora mismo). Ya he podido instalar el TabletOS SDK sin problemas y ahora voy a probarlo un poco. Según he leído por ahí, el emulador viene pelado, sin ninguna aplicación, así que ¡habrá que escribirla! 😀