/* 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, | |
}; |