Hi experts,
I have tried to configure the attribute of one memory region not able to be write in secure world and then try to write data into this region.
What I expect is that there will be an exception raising after write data into this region. But what I saw is that the write data successfully and the read data successfully.
It could be that the data already is in the cache when reading, so I have tried using "device memory" - GIC mapped address as memory region. There was still no exception raising.
I'm wondering if the functionality of TZC400 is ready on ARMv8 FVP base model.