| Jianliang Shen | 710cb95 | 2022-10-08 11:32:35 +0800 | [diff] [blame] | 1 | #------------------------------------------------------------------------------- |
| Kevin Peng | 5cba61c | 2023-01-06 14:23:15 +0800 | [diff] [blame^] | 2 | # Copyright (c) 2022-2023, Arm Limited. All rights reserved. |
| Jianliang Shen | 710cb95 | 2022-10-08 11:32:35 +0800 | [diff] [blame] | 3 | # |
| 4 | # SPDX-License-Identifier: BSD-3-Clause |
| 5 | # |
| 6 | #------------------------------------------------------------------------------- |
| 7 | |
| Kevin Peng | 5cba61c | 2023-01-06 14:23:15 +0800 | [diff] [blame^] | 8 | menu "SPM" |
| 9 | config TFM_ISOLATION_LEVEL |
| 10 | int "Isolation level" |
| 11 | default 1 |
| 12 | range 1 1 if CONFIG_TFM_SPM_BACKEND_SFN |
| 13 | range 1 3 if PLATFORM_HAS_ISOLATION_L3_SUPPORT |
| 14 | range 1 2 |
| Jianliang Shen | 710cb95 | 2022-10-08 11:32:35 +0800 | [diff] [blame] | 15 | |
| Kevin Peng | 5cba61c | 2023-01-06 14:23:15 +0800 | [diff] [blame^] | 16 | choice |
| 17 | prompt "SPM Backend" |
| 18 | default CONFIG_TFM_SPM_BACKEND_SFN |
| Jianliang Shen | 710cb95 | 2022-10-08 11:32:35 +0800 | [diff] [blame] | 19 | |
| Kevin Peng | 5cba61c | 2023-01-06 14:23:15 +0800 | [diff] [blame^] | 20 | config CONFIG_TFM_SPM_BACKEND_SFN |
| 21 | bool "SFN Backend" |
| 22 | |
| 23 | config CONFIG_TFM_SPM_BACKEND_IPC |
| 24 | bool "IPC Backend" |
| 25 | endchoice |
| 26 | |
| 27 | config CONFIG_TFM_SPM_BACKEND |
| 28 | string |
| 29 | default "IPC" if CONFIG_TFM_SPM_BACKEND_IPC |
| 30 | default "SFN" if CONFIG_TFM_SPM_BACKEND_SFN |
| 31 | default "" |
| 32 | |
| 33 | choice |
| 34 | prompt "Fault injection hardening profile" |
| 35 | |
| 36 | config TFM_FIH_PROFILE_OFF |
| 37 | bool "OFF" |
| 38 | |
| 39 | config TFM_FIH_PROFILE_LOW |
| 40 | bool "Low" |
| 41 | |
| 42 | config TFM_FIH_PROFILE_MEDIUM |
| 43 | bool "Medium" |
| 44 | |
| 45 | config TFM_FIH_PROFILE_HIGH |
| 46 | bool "High" |
| 47 | endchoice |
| 48 | |
| 49 | config TFM_FIH_PROFILE |
| 50 | string |
| 51 | default "OFF" if TFM_FIH_PROFILE_OFF |
| 52 | default "LOW" if TFM_FIH_PROFILE_LOW |
| 53 | default "MEDIUM" if TFM_FIH_PROFILE_MEDIUM |
| 54 | default "HIGH" if TFM_FIH_PROFILE_HIGH |
| 55 | |
| 56 | config PSA_FRAMEWORK_HAS_MM_IOVEC |
| 57 | bool "Enable MM-IOVEC" |
| 58 | default n |
| 59 | depends on TFM_ISOLATION_LEVEL = 1 |
| Jianliang Shen | 710cb95 | 2022-10-08 11:32:35 +0800 | [diff] [blame] | 60 | endmenu |