Obviamente, los que yo te nombré (y probé) son 32 bit, pero los hay también de 64 aunque todavía no pude echarle mano a ninguno