Android 4.2 for the HP TouchPad (with HD video decoding)