2018-06-05 09:13:45 +01:00
|
|
|
/*
|
|
|
|
* Copyright (c) 2015-2018, ARM Limited and Contributors. All rights reserved.
|
|
|
|
*
|
|
|
|
* SPDX-License-Identifier: BSD-3-Clause
|
|
|
|
*/
|
|
|
|
|
|
|
|
/* resources that are going to stay in secure partition */
|
|
|
|
sc_rsrc_t secure_rsrcs[] = {
|
|
|
|
SC_R_MU_0A,
|
|
|
|
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,
|
2019-01-24 08:50:02 +00:00
|
|
|
SC_R_IRQSTR_SCU2,
|
|
|
|
SC_R_GPT_0
|
2018-06-05 09:13:45 +01:00
|
|
|
};
|
|
|
|
|
|
|
|
/* resources that have register access for non-secure domain */
|
|
|
|
sc_rsrc_t ns_access_allowed[] = {
|
|
|
|
SC_R_GIC,
|
2019-01-24 08:50:02 +00:00
|
|
|
SC_R_GPT_0
|
2018-06-05 09:13:45 +01:00
|
|
|
};
|