| /* 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_A35, | |
| SC_R_A35_0, | |
| SC_R_A35_1, | |
| SC_R_A35_2, | |
| SC_R_A35_3, | |
| SC_R_GIC, | |
| SC_R_SYSTEM, | |
| }; | |
| /* resources that have register access for non-secure domain */ | |
| sc_rsrc_t ns_access_allowed[] = { | |
| SC_R_GIC, | |
| }; |