The companion core of the ARMv7 TK1 is a low power Cortex-A15, like the grandparent comment says. This is different from ARM's big.LITTLE which uses different microarchitectures for the two clusters, i.e. Cortex-A15 + Cortex-A7 or Cortex-A53 + Cortex-A57.