1 /* 2 * Copyright (c) 2015-2018, ARM Limited and Contributors. All rights reserved. 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 */ 6 7 /* resources that are going to stay in secure partition */ 8 sc_rsrc_t secure_rsrcs[] = { 9 SC_R_MU_0A, 10 SC_R_A35, 11 SC_R_A35_0, 12 SC_R_A35_1, 13 SC_R_A35_2, 14 SC_R_A35_3, 15 SC_R_GIC, 16 SC_R_SYSTEM, 17 SC_R_IRQSTR_SCU2 18 }; 19 20 /* resources that have register access for non-secure domain */ 21 sc_rsrc_t ns_access_allowed[] = { 22 SC_R_GIC, 23 }; 24