| /* Copyright 2017 NXP */ | |
| /* Include file detailing the resource partitioning for ATF */ | |
| /* resources that are going to stay in secure partition */ | |
| sc_rsrc_t secure_rsrcs[] = { | |
| SC_R_MU_1A, | |
| SC_R_A53, | |
| SC_R_A53_0, | |
| SC_R_A53_1, | |
| SC_R_A53_2, | |
| SC_R_A53_3, | |
| SC_R_A72, | |
| SC_R_A72_0, | |
| SC_R_A72_1, | |
| SC_R_GIC, | |
| SC_R_GIC_SMMU, | |
| SC_R_CCI, | |
| SC_R_SYSTEM | |
| }; | |
| /* resources that have register access for non-secure domain */ | |
| sc_rsrc_t ns_access_allowed[] = { | |
| SC_R_GIC, | |
| SC_R_GIC_SMMU, | |
| SC_R_CCI | |
| }; |