TX1 uses bigLITTLE but does not do HMP (HMP being the 'all cores can be used simultaneously' paradigm).
I had a feeling I was missing something because I was thinking of heterogeneous multiprocessing but was confused with the TX1 not having it in a big.little configuration.
So yeah, I should have said it doesn't use HMP.