Kenji Arai / mbed-os_TYBLE16

mbed-os5 only for TYBLE16

Dependents:   TYBLE16_simple_data_logger TYBLE16_MP3_Air

components/TARGET_PSA/TARGET_TFM/COMPONENT_SPE/secure_fw/spm/spm_partition_defs.h@1:9db0e321a9f4, 2019-12-31 (annotated)

Committer:
kenjiArai
Date:
Tue Dec 31 06:02:27 2019 +0000
Revision:
1:9db0e321a9f4
Parent:
0:5b88d5760320 
updated based on mbed-os5.15.0

Who changed what in which revision?

UserRevisionLine numberNew contents of line
kenjiArai 0:5b88d5760320 1 /*
kenjiArai 0:5b88d5760320 2 * Copyright (c) 2017-2018, Arm Limited. All rights reserved.
kenjiArai 0:5b88d5760320 3 *
kenjiArai 0:5b88d5760320 4 * SPDX-License-Identifier: BSD-3-Clause
kenjiArai 0:5b88d5760320 5 *
kenjiArai 0:5b88d5760320 6 */
kenjiArai 0:5b88d5760320 7
kenjiArai 0:5b88d5760320 8 #ifndef __SPM_PARTITION_DEFS_H__
kenjiArai 0:5b88d5760320 9 #define __SPM_PARTITION_DEFS_H__
kenjiArai 0:5b88d5760320 10
kenjiArai 0:5b88d5760320 11 /* FixMe: allocations to be settled.
kenjiArai 0:5b88d5760320 12 * 8 bits reserved by TFM for secure partition Id in this prototype
kenjiArai 0:5b88d5760320 13 */
kenjiArai 0:5b88d5760320 14 #define TFM_SP_BASE 256
kenjiArai 0:5b88d5760320 15
kenjiArai 0:5b88d5760320 16 /* A reserved partition ID that is used for uninitialised data */
kenjiArai 0:5b88d5760320 17 #define INVALID_PARTITION_ID (~0U)
kenjiArai 0:5b88d5760320 18
kenjiArai 0:5b88d5760320 19 /* ***** partition ID-s internal to the TFM ***** */
kenjiArai 0:5b88d5760320 20 #define TFM_INTERNAL_PARTITIONS (2)
kenjiArai 0:5b88d5760320 21
kenjiArai 0:5b88d5760320 22 /* From the SPM point of view the non secure processing environment is handled
kenjiArai 0:5b88d5760320 23 * as a special secure partition. This simplifies the context switch
kenjiArai 0:5b88d5760320 24 * operations.
kenjiArai 0:5b88d5760320 25 */
kenjiArai 0:5b88d5760320 26 #define TFM_SP_NON_SECURE_ID (0)
kenjiArai 0:5b88d5760320 27 /* A dummy partition for TFM_SP_CORE is created to handle secure partition
kenjiArai 0:5b88d5760320 28 * calls done directly from the core, before NS execution started.
kenjiArai 0:5b88d5760320 29 */
kenjiArai 0:5b88d5760320 30 #define TFM_SP_CORE_ID (1)
kenjiArai 0:5b88d5760320 31
kenjiArai 0:5b88d5760320 32 #include "tfm_partition_defs.inc"
kenjiArai 0:5b88d5760320 33
kenjiArai 0:5b88d5760320 34 /* This limit is only used to define the size of the database reserved for
kenjiArai 0:5b88d5760320 35 * partitions. There's no requirement that it match the number of partitions
kenjiArai 0:5b88d5760320 36 * that get registered in a specific build
kenjiArai 0:5b88d5760320 37 */
kenjiArai 0:5b88d5760320 38 #define SPM_MAX_PARTITIONS (TFM_MAX_USER_PARTITIONS + TFM_INTERNAL_PARTITIONS)
kenjiArai 0:5b88d5760320 39
kenjiArai 0:5b88d5760320 40 #endif /* __SPM_PARTITION_DEFS_H__ */