Is big.LITTLE multiprocessing independent of hardware?

Is it possible to run 8 simultaneous processes distributed to each of the 8 cores of a big.LITTLE SoC (4 big and 4 LITTLE cores). Is GTS and IKS only relevant for software or are there SoCs that only provide IKS regardless of the Linux kernel you use?

My confusion arose from the wikipedia article: ARM big.LITTLE - Wikipedia, the free encyclopedia which states that the arrangement of the cores is depending on the kernels scheduler and then introduces three models: clustered switching, IKS and GTS. Until that point it's all okay, but the article mentions examples for each model as hardware implementations.

Also it would be very nice to have a hint to a official ARM document where I can find that information.

Thanks,

Felix