On 28 February 2014 09:47, <TigerLiu@via-alliance.com> wrote:

Hi, Leif:

> (And as Harry points out to me, TC2 doesn't use the ARM Trusted
>Firmware at all. Everything else below is correct though :)

Well, I didn't want to say... ;-)

So, maybe Vexpress's boot monitor code has initialized cci-400 before
jumping to UEFI code.

No, I don't think so. I don't think CCI-400 is initialised until the linux kernel sets it up.

Best wishes,