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,