Hi, Ryan:

>UEFI boots on a single A7 code on TC2, so it doesn't need CCI-400.

So, for a big.LITTLE platform, although it included 2 clusters and 4 cores.

But if UEFI used only 1 core as BSP, put other cores into WFI/WFE state, then no need to care CCI-400 settings?

Will OS kernel set CCI-400 registers?

Best wishes,