Miklos Balint | 386b8b5 | 2017-11-29 13:12:32 +0000 | [diff] [blame] | 1 | /* |
Ken Liu | 55ba01f | 2021-01-20 17:34:50 +0800 | [diff] [blame] | 2 | * Copyright (c) 2017-2021, Arm Limited. All rights reserved. |
Miklos Balint | 386b8b5 | 2017-11-29 13:12:32 +0000 | [diff] [blame] | 3 | * |
| 4 | * SPDX-License-Identifier: BSD-3-Clause |
| 5 | * |
| 6 | */ |
| 7 | |
Summer Qin | 9c1fba1 | 2020-08-12 15:49:12 +0800 | [diff] [blame] | 8 | #include "arch.h" |
David Hu | 9804b6a | 2021-02-15 21:23:06 +0800 | [diff] [blame] | 9 | #include "fih.h" |
Ken Liu | 55ba01f | 2021-01-20 17:34:50 +0800 | [diff] [blame] | 10 | #include "ffm/tfm_boot_data.h" |
TTornblom | 83d9637 | 2019-11-19 12:53:16 +0100 | [diff] [blame] | 11 | #include "region.h" |
Summer Qin | f993cd4 | 2020-08-12 16:55:17 +0800 | [diff] [blame] | 12 | #include "spm_func.h" |
Mingyang Sun | 9763dee | 2020-12-07 10:45:17 +0800 | [diff] [blame] | 13 | #include "tfm_hal_defs.h" |
Summer Qin | 0eb7c91 | 2020-08-19 16:08:50 +0800 | [diff] [blame] | 14 | #include "tfm_hal_platform.h" |
Håkon Øye Amundsen | cf79394 | 2021-01-14 10:50:49 +0100 | [diff] [blame] | 15 | #include "tfm_hal_isolation.h" |
Summer Qin | 830c554 | 2020-02-14 13:44:20 +0800 | [diff] [blame] | 16 | #include "tfm_irq_list.h" |
| 17 | #include "tfm_nspm.h" |
| 18 | #include "tfm_spm_hal.h" |
Shawn Shan | f5471ba | 2020-09-17 17:34:50 +0800 | [diff] [blame] | 19 | #include "tfm_spm_log.h" |
Summer Qin | 830c554 | 2020-02-14 13:44:20 +0800 | [diff] [blame] | 20 | #include "tfm_version.h" |
Raef Coles | aefbe08 | 2021-06-18 08:53:43 +0100 | [diff] [blame] | 21 | #include "tfm_plat_otp.h" |
| 22 | #include "tfm_plat_provisioning.h" |
Miklos Balint | 386b8b5 | 2017-11-29 13:12:32 +0000 | [diff] [blame] | 23 | |
Miklos Balint | 386b8b5 | 2017-11-29 13:12:32 +0000 | [diff] [blame] | 24 | /* |
| 25 | * Avoids the semihosting issue |
| 26 | * FixMe: describe 'semihosting issue' |
| 27 | */ |
| 28 | #if defined(__ARMCC_VERSION) && (__ARMCC_VERSION >= 6010050) |
| 29 | __asm(" .global __ARM_use_no_argv\n"); |
| 30 | #endif |
| 31 | |
| 32 | #ifndef TFM_LVL |
| 33 | #error TFM_LVL is not defined! |
Summer Qin | f993cd4 | 2020-08-12 16:55:17 +0800 | [diff] [blame] | 34 | #elif (TFM_LVL != 1) |
Edison Ai | cb0ecf6 | 2019-07-10 18:43:51 +0800 | [diff] [blame] | 35 | #error Only TFM_LVL 1 is supported for library model! |
| 36 | #endif |
Miklos Balint | 386b8b5 | 2017-11-29 13:12:32 +0000 | [diff] [blame] | 37 | |
Kevin Peng | 300c68d | 2021-08-12 17:40:17 +0800 | [diff] [blame] | 38 | REGION_DECLARE(Image$$, ARM_LIB_STACK, $$ZI$$Base); |
Michel Jaouen | f373efb | 2021-09-17 15:36:19 +0200 | [diff] [blame] | 39 | REGION_DECLARE(Image$$, ARM_LIB_STACK, $$ZI$$Limit)[]; |
| 40 | REGION_DECLARE(Image$$, ER_INITIAL_PSP, $$ZI$$Limit)[]; |
Mate Toth-Pal | 6bb416a | 2019-05-07 16:23:55 +0200 | [diff] [blame] | 41 | |
David Hu | 9804b6a | 2021-02-15 21:23:06 +0800 | [diff] [blame] | 42 | static fih_int tfm_core_init(void) |
Miklos Balint | 386b8b5 | 2017-11-29 13:12:32 +0000 | [diff] [blame] | 43 | { |
Mate Toth-Pal | 4341de0 | 2018-10-02 12:55:47 +0200 | [diff] [blame] | 44 | size_t i; |
Summer Qin | 0eb7c91 | 2020-08-19 16:08:50 +0800 | [diff] [blame] | 45 | enum tfm_hal_status_t hal_status = TFM_HAL_ERROR_GENERIC; |
Mate Toth-Pal | 5d3ae08 | 2019-07-10 16:14:14 +0200 | [diff] [blame] | 46 | enum tfm_plat_err_t plat_err = TFM_PLAT_ERR_SYSTEM_ERR; |
| 47 | enum irq_target_state_t irq_target_state = TFM_IRQ_TARGET_STATE_SECURE; |
David Hu | 9804b6a | 2021-02-15 21:23:06 +0800 | [diff] [blame] | 48 | #ifdef TFM_FIH_PROFILE_ON |
| 49 | fih_int fih_rc = FIH_FAILURE; |
| 50 | #endif |
Mate Toth-Pal | 4341de0 | 2018-10-02 12:55:47 +0200 | [diff] [blame] | 51 | |
Jaykumar Pitambarbhai Patel | 98e6ce4 | 2020-01-06 12:42:42 +0530 | [diff] [blame] | 52 | /* |
| 53 | * Access to any peripheral should be performed after programming |
| 54 | * the necessary security components such as PPC/SAU. |
| 55 | */ |
David Hu | 9804b6a | 2021-02-15 21:23:06 +0800 | [diff] [blame] | 56 | #ifdef TFM_FIH_PROFILE_ON |
| 57 | FIH_CALL(tfm_hal_set_up_static_boundaries, fih_rc); |
| 58 | if (fih_not_eq(fih_rc, fih_int_encode(TFM_HAL_SUCCESS))) { |
| 59 | FIH_RET(fih_int_encode(TFM_ERROR_GENERIC)); |
| 60 | } |
| 61 | #else /* TFM_FIH_PROFILE_ON */ |
Mingyang Sun | 9763dee | 2020-12-07 10:45:17 +0800 | [diff] [blame] | 62 | hal_status = tfm_hal_set_up_static_boundaries(); |
| 63 | if (hal_status != TFM_HAL_SUCCESS) { |
Jaykumar Pitambarbhai Patel | 98e6ce4 | 2020-01-06 12:42:42 +0530 | [diff] [blame] | 64 | return TFM_ERROR_GENERIC; |
| 65 | } |
David Hu | 9804b6a | 2021-02-15 21:23:06 +0800 | [diff] [blame] | 66 | #endif /* TFM_FIH_PROFILE_ON */ |
Jaykumar Pitambarbhai Patel | 98e6ce4 | 2020-01-06 12:42:42 +0530 | [diff] [blame] | 67 | |
Kevin Peng | c855573 | 2021-09-24 15:15:21 +0800 | [diff] [blame^] | 68 | #ifdef TFM_FIH_PROFILE_ON |
| 69 | FIH_CALL(tfm_hal_platform_init, fih_rc); |
| 70 | if (fih_not_eq(fih_rc, fih_int_encode(TFM_HAL_SUCCESS))) { |
David Hu | 9804b6a | 2021-02-15 21:23:06 +0800 | [diff] [blame] | 71 | FIH_RET(fih_int_encode(TFM_ERROR_GENERIC)); |
Andrei Narkevitch | 5bba54c | 2019-09-23 14:09:13 -0700 | [diff] [blame] | 72 | } |
Kevin Peng | c855573 | 2021-09-24 15:15:21 +0800 | [diff] [blame^] | 73 | #else /* TFM_FIH_PROFILE_ON */ |
| 74 | hal_status = tfm_hal_platform_init(); |
| 75 | if (hal_status != TFM_HAL_SUCCESS) { |
| 76 | return TFM_ERROR_GENERIC; |
| 77 | } |
| 78 | #endif /* TFM_FIH_PROFILE_ON */ |
Miklos Balint | 386b8b5 | 2017-11-29 13:12:32 +0000 | [diff] [blame] | 79 | |
Raef Coles | aefbe08 | 2021-06-18 08:53:43 +0100 | [diff] [blame] | 80 | plat_err = tfm_plat_otp_init(); |
| 81 | if (plat_err != TFM_PLAT_ERR_SUCCESS) { |
| 82 | FIH_RET(fih_int_encode(TFM_ERROR_GENERIC)); |
| 83 | } |
| 84 | |
| 85 | /* Perform provisioning. */ |
| 86 | if (tfm_plat_provisioning_is_required()) { |
| 87 | plat_err = tfm_plat_provisioning_perform(); |
| 88 | if (plat_err != TFM_PLAT_ERR_SUCCESS) { |
| 89 | FIH_RET(fih_int_encode(TFM_ERROR_GENERIC)); |
| 90 | } |
| 91 | } else { |
| 92 | tfm_plat_provisioning_check_for_dummy_keys(); |
| 93 | } |
| 94 | |
Summer Qin | dea1f2c | 2021-01-11 14:46:34 +0800 | [diff] [blame] | 95 | /* Configures architecture */ |
| 96 | tfm_arch_config_extensions(); |
Jamie Fox | 4558767 | 2020-08-17 18:31:14 +0100 | [diff] [blame] | 97 | |
Shawn Shan | f5471ba | 2020-09-17 17:34:50 +0800 | [diff] [blame] | 98 | SPMLOG_INFMSG("\033[1;34m[Sec Thread] Secure image initializing!\033[0m\r\n"); |
Miklos Balint | 6cbeba6 | 2018-04-12 17:31:34 +0200 | [diff] [blame] | 99 | |
Shawn Shan | f5471ba | 2020-09-17 17:34:50 +0800 | [diff] [blame] | 100 | SPMLOG_DBGMSGVAL("TF-M isolation level is: ", TFM_LVL); |
Miklos Balint | 386b8b5 | 2017-11-29 13:12:32 +0000 | [diff] [blame] | 101 | |
Tamas Ban | 9ff535b | 2018-09-18 08:15:18 +0100 | [diff] [blame] | 102 | tfm_core_validate_boot_data(); |
| 103 | |
Miklos Balint | 386b8b5 | 2017-11-29 13:12:32 +0000 | [diff] [blame] | 104 | configure_ns_code(); |
| 105 | |
Mate Toth-Pal | 4341de0 | 2018-10-02 12:55:47 +0200 | [diff] [blame] | 106 | for (i = 0; i < tfm_core_irq_signals_count; ++i) { |
Mate Toth-Pal | 5d3ae08 | 2019-07-10 16:14:14 +0200 | [diff] [blame] | 107 | plat_err = tfm_spm_hal_set_secure_irq_priority( |
Kevin Peng | 0979b0e | 2021-06-15 10:54:53 +0800 | [diff] [blame] | 108 | tfm_core_irq_signals[i].irq_line); |
Mate Toth-Pal | 5d3ae08 | 2019-07-10 16:14:14 +0200 | [diff] [blame] | 109 | if (plat_err != TFM_PLAT_ERR_SUCCESS) { |
David Hu | 9804b6a | 2021-02-15 21:23:06 +0800 | [diff] [blame] | 110 | FIH_RET(fih_int_encode(TFM_ERROR_GENERIC)); |
Mate Toth-Pal | 5d3ae08 | 2019-07-10 16:14:14 +0200 | [diff] [blame] | 111 | } |
| 112 | irq_target_state = tfm_spm_hal_set_irq_target_state( |
| 113 | tfm_core_irq_signals[i].irq_line, |
| 114 | TFM_IRQ_TARGET_STATE_SECURE); |
| 115 | if (irq_target_state != TFM_IRQ_TARGET_STATE_SECURE) { |
David Hu | 9804b6a | 2021-02-15 21:23:06 +0800 | [diff] [blame] | 116 | FIH_RET(fih_int_encode(TFM_ERROR_GENERIC)); |
Mate Toth-Pal | 5d3ae08 | 2019-07-10 16:14:14 +0200 | [diff] [blame] | 117 | } |
Mate Toth-Pal | 4341de0 | 2018-10-02 12:55:47 +0200 | [diff] [blame] | 118 | } |
| 119 | |
David Hu | 9804b6a | 2021-02-15 21:23:06 +0800 | [diff] [blame] | 120 | FIH_RET(fih_int_encode(TFM_SUCCESS)); |
Miklos Balint | 386b8b5 | 2017-11-29 13:12:32 +0000 | [diff] [blame] | 121 | } |
| 122 | |
Kevin Peng | 300c68d | 2021-08-12 17:40:17 +0800 | [diff] [blame] | 123 | __attribute__((naked)) |
Miklos Balint | 386b8b5 | 2017-11-29 13:12:32 +0000 | [diff] [blame] | 124 | int main(void) |
| 125 | { |
Kevin Peng | 300c68d | 2021-08-12 17:40:17 +0800 | [diff] [blame] | 126 | __ASM volatile( |
| 127 | #if !defined(__ICCARM__) |
| 128 | ".syntax unified \n" |
| 129 | #endif |
Michel Jaouen | f373efb | 2021-09-17 15:36:19 +0200 | [diff] [blame] | 130 | "msr msp, %0 \n" |
| 131 | "msr psp, %1 \n" |
Kevin Peng | 300c68d | 2021-08-12 17:40:17 +0800 | [diff] [blame] | 132 | "mrs r0, control \n" |
| 133 | "movs r1, #2 \n" |
| 134 | "orrs r0, r0, r1 \n" /* Switch to PSP */ |
| 135 | "msr control, r0 \n" |
| 136 | "bl c_main \n" |
Michel Jaouen | f373efb | 2021-09-17 15:36:19 +0200 | [diff] [blame] | 137 | : |
| 138 | : "r" (REGION_NAME(Image$$, ARM_LIB_STACK, $$ZI$$Limit)), |
| 139 | "r" (REGION_NAME(Image$$, ER_INITIAL_PSP, $$ZI$$Limit)) |
| 140 | : "r0", "memory" |
Kevin Peng | 300c68d | 2021-08-12 17:40:17 +0800 | [diff] [blame] | 141 | ); |
| 142 | } |
| 143 | |
| 144 | int c_main(void) |
| 145 | { |
David Hu | 9804b6a | 2021-02-15 21:23:06 +0800 | [diff] [blame] | 146 | enum spm_err_t spm_err = SPM_ERR_GENERIC_ERR; |
| 147 | fih_int fih_rc = FIH_FAILURE; |
| 148 | |
Mate Toth-Pal | 6bb416a | 2019-05-07 16:23:55 +0200 | [diff] [blame] | 149 | /* set Main Stack Pointer limit */ |
Ken Liu | 05e13ba | 2020-07-25 10:31:33 +0800 | [diff] [blame] | 150 | tfm_arch_init_secure_msp((uint32_t)®ION_NAME(Image$$, |
Kevin Peng | 300c68d | 2021-08-12 17:40:17 +0800 | [diff] [blame] | 151 | ARM_LIB_STACK, |
Ken Liu | 05e13ba | 2020-07-25 10:31:33 +0800 | [diff] [blame] | 152 | $$ZI$$Base)); |
Mate Toth-Pal | 6bb416a | 2019-05-07 16:23:55 +0200 | [diff] [blame] | 153 | |
Soby Mathew | 960521a | 2020-09-29 12:48:50 +0100 | [diff] [blame] | 154 | /* Seal the PSP stacks viz ARM_LIB_STACK and TFM_SECURE_STACK */ |
| 155 | tfm_spm_seal_psp_stacks(); |
| 156 | |
David Hu | 9804b6a | 2021-02-15 21:23:06 +0800 | [diff] [blame] | 157 | fih_delay_init(); |
| 158 | |
| 159 | FIH_CALL(tfm_core_init, fih_rc); |
| 160 | if (fih_not_eq(fih_rc, fih_int_encode(TFM_SUCCESS))) { |
Edison Ai | 9059ea0 | 2019-11-28 13:46:14 +0800 | [diff] [blame] | 161 | tfm_core_panic(); |
Hugues de Valon | 4bf875b | 2019-02-19 14:53:49 +0000 | [diff] [blame] | 162 | } |
David Hu | 9804b6a | 2021-02-15 21:23:06 +0800 | [diff] [blame] | 163 | |
Raef Coles | 0241dc6 | 2020-12-22 11:50:02 +0000 | [diff] [blame] | 164 | /* All isolation should have been set up at this point */ |
| 165 | FIH_LABEL_CRITICAL_POINT(); |
| 166 | |
Soby Mathew | c64adbc | 2020-03-11 12:33:44 +0000 | [diff] [blame] | 167 | /* Print the TF-M version */ |
Shawn Shan | 45578e9 | 2020-10-19 17:50:02 +0800 | [diff] [blame] | 168 | SPMLOG_INFMSG("\033[1;34mBooting TFM v"VERSION_FULLSTR"\033[0m\r\n"); |
Miklos Balint | 386b8b5 | 2017-11-29 13:12:32 +0000 | [diff] [blame] | 169 | |
David Hu | 9804b6a | 2021-02-15 21:23:06 +0800 | [diff] [blame] | 170 | spm_err = tfm_spm_db_init(); |
| 171 | if (spm_err != SPM_ERR_OK) { |
Edison Ai | 9059ea0 | 2019-11-28 13:46:14 +0800 | [diff] [blame] | 172 | tfm_core_panic(); |
Hugues de Valon | 4bf875b | 2019-02-19 14:53:49 +0000 | [diff] [blame] | 173 | } |
Mate Toth-Pal | 936c33b | 2018-04-10 14:02:07 +0200 | [diff] [blame] | 174 | |
Mate Toth-Pal | 349714a | 2018-02-23 15:30:24 +0100 | [diff] [blame] | 175 | tfm_spm_partition_set_state(TFM_SP_CORE_ID, SPM_PARTITION_STATE_RUNNING); |
Mate Toth-Pal | 65291f3 | 2018-02-23 14:35:22 +0100 | [diff] [blame] | 176 | |
Kevin Peng | 300c68d | 2021-08-12 17:40:17 +0800 | [diff] [blame] | 177 | REGION_DECLARE(Image$$, ER_INITIAL_PSP, $$ZI$$Base)[]; |
Mate Toth-Pal | 5d3ae08 | 2019-07-10 16:14:14 +0200 | [diff] [blame] | 178 | uint32_t psp_stack_bottom = |
Kevin Peng | 300c68d | 2021-08-12 17:40:17 +0800 | [diff] [blame] | 179 | (uint32_t)REGION_NAME(Image$$, ER_INITIAL_PSP, $$ZI$$Base); |
Miklos Balint | 386b8b5 | 2017-11-29 13:12:32 +0000 | [diff] [blame] | 180 | |
David Hu | e05b6a6 | 2019-06-12 18:45:28 +0800 | [diff] [blame] | 181 | tfm_arch_set_psplim(psp_stack_bottom); |
Miklos Balint | 386b8b5 | 2017-11-29 13:12:32 +0000 | [diff] [blame] | 182 | |
David Hu | 9804b6a | 2021-02-15 21:23:06 +0800 | [diff] [blame] | 183 | FIH_CALL(tfm_spm_partition_init, fih_rc); |
| 184 | if (fih_not_eq(fih_rc, fih_int_encode(SPM_ERR_OK))) { |
Miklos Balint | 6a139ae | 2018-04-04 19:44:37 +0200 | [diff] [blame] | 185 | /* Certain systems might refuse to boot altogether if partitions fail |
| 186 | * to initialize. This is a placeholder for such an error handler |
| 187 | */ |
| 188 | } |
| 189 | |
Ken Liu | 96714b3 | 2019-04-08 15:10:39 +0800 | [diff] [blame] | 190 | /* |
| 191 | * Prioritise secure exceptions to avoid NS being able to pre-empt |
| 192 | * secure SVC or SecureFault. Do it before PSA API initialization. |
| 193 | */ |
Ken Liu | 50e2109 | 2020-10-14 16:42:15 +0800 | [diff] [blame] | 194 | tfm_arch_set_secure_exception_priorities(); |
Ken Liu | 96714b3 | 2019-04-08 15:10:39 +0800 | [diff] [blame] | 195 | |
Edison Ai | 4d66dc3 | 2019-02-18 17:58:49 +0800 | [diff] [blame] | 196 | /* We close the TFM_SP_CORE_ID partition, because its only purpose is |
| 197 | * to be able to pass the state checks for the tests started from secure. |
| 198 | */ |
| 199 | tfm_spm_partition_set_state(TFM_SP_CORE_ID, SPM_PARTITION_STATE_CLOSED); |
| 200 | tfm_spm_partition_set_state(TFM_SP_NON_SECURE_ID, |
| 201 | SPM_PARTITION_STATE_RUNNING); |
Edison Ai | 4dcae6f | 2019-03-18 10:13:47 +0800 | [diff] [blame] | 202 | |
David Hu | 9804b6a | 2021-02-15 21:23:06 +0800 | [diff] [blame] | 203 | #ifdef TFM_FIH_PROFILE_ON |
| 204 | FIH_CALL(tfm_spm_hal_verify_isolation_hw, fih_rc); |
| 205 | if (fih_not_eq(fih_rc, fih_int_encode(TFM_PLAT_ERR_SUCCESS))) { |
| 206 | tfm_core_panic(); |
| 207 | } |
| 208 | #endif |
| 209 | |
Edison Ai | 4dcae6f | 2019-03-18 10:13:47 +0800 | [diff] [blame] | 210 | #ifdef TFM_CORE_DEBUG |
| 211 | /* Jumps to non-secure code */ |
Shawn Shan | f5471ba | 2020-09-17 17:34:50 +0800 | [diff] [blame] | 212 | SPMLOG_DBGMSG("\033[1;34mJumping to non-secure code...\033[0m\r\n"); |
Edison Ai | 4dcae6f | 2019-03-18 10:13:47 +0800 | [diff] [blame] | 213 | #endif |
| 214 | |
| 215 | jump_to_ns_code(); |
Kevin Peng | 300c68d | 2021-08-12 17:40:17 +0800 | [diff] [blame] | 216 | |
| 217 | return 0; |
Miklos Balint | 386b8b5 | 2017-11-29 13:12:32 +0000 | [diff] [blame] | 218 | } |