1 /* 2 * Copyright (c) 2014-2016, ARM Limited and Contributors. All rights reserved. 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 */ 6 #ifndef __ARM_CONFIG_H__ 7 #define __ARM_CONFIG_H__ 8 9 #include <stdint.h> 10 11 enum arm_config_flags { 12 /* Whether Base memory map is in use */ 13 ARM_CONFIG_BASE_MMAP = 0x1, 14 /* Whether interconnect should be enabled */ 15 ARM_CONFIG_HAS_INTERCONNECT = 0x2, 16 /* Whether TZC should be configured */ 17 ARM_CONFIG_HAS_TZC = 0x4 18 }; 19 20 typedef struct arm_config { 21 unsigned long flags; 22 } arm_config_t; 23 24 25 /* If used, arm_config must be defined and populated in the platform port */ 26 extern arm_config_t arm_config; 27 28 static inline const arm_config_t *get_arm_config(void) 29 { 30 return &arm_config; 31 } 32 33 34 #endif /* __ARM_CONFIG_H__ */ 35