I was reading through the Zynq 7000 TRM, and it says that there is 4 KB granularity support for setting blocks of memory to "Normal World". As I've read elsewhere online, it is necessary to do this with at least some memory in order to flip the NS bit in the SCR successfully.
However, the actual address where you set this is undocumented. I'm guessing it's in the 0x0400 block somewhere, but exactly where is a mystery, and I don't have any easy way to test whether or not things have worked out okay, because TrustZone is still a technology I'm learning how to use to begin with.
So I was wondering if anyone knew where TZ_OCM_RAM0 and TZ_OCM_RAM1 are?