Miklos Balint | 470919c | 2018-05-22 17:51:29 +0200 | [diff] [blame] | 1 | #------------------------------------------------------------------------------- |
Xinyu Zhang | 90f08dc | 2022-01-12 15:55:17 +0800 | [diff] [blame] | 2 | # Copyright (c) 2018-2022, Arm Limited. All rights reserved. |
Chris Brand | f1d6b6f | 2022-07-22 11:49:01 -0700 | [diff] [blame^] | 3 | # Copyright (c) 2022 Cypress Semiconductor Corporation (an Infineon company) |
| 4 | # or an affiliate of Cypress Semiconductor Corporation. All rights reserved. |
Miklos Balint | 470919c | 2018-05-22 17:51:29 +0200 | [diff] [blame] | 5 | # |
| 6 | # SPDX-License-Identifier: BSD-3-Clause |
| 7 | # |
| 8 | #------------------------------------------------------------------------------- |
| 9 | |
| 10 | import os |
Mate Toth-Pal | 36f2184 | 2018-11-08 16:12:51 +0100 | [diff] [blame] | 11 | import io |
Kevin Peng | ce99e5d | 2021-11-09 18:06:53 +0800 | [diff] [blame] | 12 | import re |
Shawn Shan | a9ad1e0 | 2019-08-07 15:49:48 +0800 | [diff] [blame] | 13 | import sys |
| 14 | import argparse |
Jimmy Brisson | 89d4f8d | 2021-06-23 10:17:36 -0500 | [diff] [blame] | 15 | import logging |
Ken Liu | 1f345b0 | 2020-05-30 21:11:05 +0800 | [diff] [blame] | 16 | from jinja2 import Environment, BaseLoader, select_autoescape, TemplateNotFound |
Miklos Balint | 470919c | 2018-05-22 17:51:29 +0200 | [diff] [blame] | 17 | |
| 18 | try: |
| 19 | import yaml |
| 20 | except ImportError as e: |
Jimmy Brisson | 89d4f8d | 2021-06-23 10:17:36 -0500 | [diff] [blame] | 21 | logging.error (str(e) + " To install it, type:") |
| 22 | logging.error ("pip install PyYAML") |
Miklos Balint | 470919c | 2018-05-22 17:51:29 +0200 | [diff] [blame] | 23 | exit(1) |
| 24 | |
Edison Ai | 48b2d9e | 2019-06-24 14:39:45 +0800 | [diff] [blame] | 25 | donotedit_warning = \ |
Sherry Zhang | f58f2bd | 2022-01-10 17:21:11 +0800 | [diff] [blame] | 26 | ' WARNING: This is an auto-generated file. Do not edit! ' |
Kevin Peng | 655f239 | 2019-11-27 16:33:02 +0800 | [diff] [blame] | 27 | |
Kevin Peng | ce99e5d | 2021-11-09 18:06:53 +0800 | [diff] [blame] | 28 | TFM_ROOT_DIR = os.path.join(sys.path[0], '..') |
Kevin Peng | 655f239 | 2019-11-27 16:33:02 +0800 | [diff] [blame] | 29 | OUT_DIR = None # The root directory that files are generated to |
Edison Ai | 48b2d9e | 2019-06-24 14:39:45 +0800 | [diff] [blame] | 30 | |
Sherry Zhang | 87e6d2e | 2021-12-27 14:48:59 +0800 | [diff] [blame] | 31 | # PID[0, TFM_PID_BASE - 1] are reserved for TF-M SPM and test usages |
Kevin Peng | ce99e5d | 2021-11-09 18:06:53 +0800 | [diff] [blame] | 32 | TFM_PID_BASE = 256 |
| 33 | |
Ruiqi Jiang | 71d361c | 2021-06-23 17:45:55 +0100 | [diff] [blame] | 34 | # variable for checking for duplicated sid |
| 35 | sid_list = [] |
Mate Toth-Pal | 36f2184 | 2018-11-08 16:12:51 +0100 | [diff] [blame] | 36 | class TemplateLoader(BaseLoader): |
| 37 | """ |
| 38 | Template loader class. |
Miklos Balint | 470919c | 2018-05-22 17:51:29 +0200 | [diff] [blame] | 39 | |
Mate Toth-Pal | 36f2184 | 2018-11-08 16:12:51 +0100 | [diff] [blame] | 40 | An instance of this class is passed to the template engine. It is |
| 41 | responsible for reading the template file |
| 42 | """ |
| 43 | def __init__(self): |
| 44 | pass |
Miklos Balint | 470919c | 2018-05-22 17:51:29 +0200 | [diff] [blame] | 45 | |
Mate Toth-Pal | 36f2184 | 2018-11-08 16:12:51 +0100 | [diff] [blame] | 46 | def get_source(self, environment, template): |
| 47 | """ |
| 48 | This function reads the template files. |
| 49 | For detailed documentation see: |
| 50 | http://jinja.pocoo.org/docs/2.10/api/#jinja2.BaseLoader.get_source |
| 51 | |
| 52 | Please note that this function always return 'false' as 'uptodate' |
| 53 | value, so the output file will always be generated. |
| 54 | """ |
| 55 | if not os.path.isfile(template): |
| 56 | raise TemplateNotFound(template) |
| 57 | with open(template) as f: |
| 58 | source = f.read() |
| 59 | return source, template, False |
| 60 | |
Kevin Peng | ce99e5d | 2021-11-09 18:06:53 +0800 | [diff] [blame] | 61 | def get_single_macro_def_from_file(file_name, macro_name): |
| 62 | """ |
| 63 | This function parses the given file_name to get the definition of the given |
| 64 | C Macro (macro_name). |
| 65 | |
| 66 | It assumes that the target Macro has no multiple definitions in different |
| 67 | build configurations. |
| 68 | |
| 69 | It supports Macros defined in multi-line, for example: |
| 70 | #define SOME_MACRO \ |
| 71 | the_macro_value |
| 72 | |
| 73 | Inputs: |
| 74 | - file_name: the file to get the Macro from |
| 75 | - macro_name: the name of the Macro to get |
| 76 | Returns: |
| 77 | - The Macro definition with '()' stripped, or Exception if not found |
| 78 | """ |
| 79 | |
| 80 | with open(file_name, 'r') as f: |
| 81 | pattern = re.compile(r'#define\s+{}[\\\s]+.*'.format(macro_name)) |
| 82 | result = pattern.findall(f.read()) |
| 83 | |
| 84 | if len(result) != 1: |
| 85 | raise Exception('{} not defined or has multiple definitions'.format(macro_name)) |
| 86 | |
| 87 | macro_def = result[0].split()[-1].strip('()') |
| 88 | |
| 89 | return macro_def |
| 90 | |
Kevin Peng | 5c3fee7 | 2022-02-16 22:25:22 +0800 | [diff] [blame] | 91 | def manifest_validation(manifest, pid): |
Mingyang Sun | 294ce2e | 2021-06-11 11:58:24 +0800 | [diff] [blame] | 92 | """ |
| 93 | This function validates FF-M compliance for partition manifest, and sets |
| 94 | default values for optional attributes. |
Kevin Peng | ce99e5d | 2021-11-09 18:06:53 +0800 | [diff] [blame] | 95 | The validation is skipped for TF-M specific Partitions (PID < TFM_PID_BASE). |
Mingyang Sun | 294ce2e | 2021-06-11 11:58:24 +0800 | [diff] [blame] | 96 | """ |
Kevin Peng | 5bc82d2 | 2021-10-19 11:18:40 +0800 | [diff] [blame] | 97 | |
Kevin Peng | 5c3fee7 | 2022-02-16 22:25:22 +0800 | [diff] [blame] | 98 | service_list = manifest.get('services', []) |
| 99 | irq_list = manifest.get('irqs', []) |
Mingyang Sun | 294ce2e | 2021-06-11 11:58:24 +0800 | [diff] [blame] | 100 | |
Kevin Peng | 5c3fee7 | 2022-02-16 22:25:22 +0800 | [diff] [blame] | 101 | # "psa_framework_version" validation |
| 102 | if manifest['psa_framework_version'] not in [1.0, 1.1]: |
| 103 | raise Exception('Invalid psa_framework_version of {}'.format(manifest['name'])) |
| 104 | |
Chris Brand | f1d6b6f | 2022-07-22 11:49:01 -0700 | [diff] [blame^] | 105 | # "type" validation |
Kevin Peng | 5c3fee7 | 2022-02-16 22:25:22 +0800 | [diff] [blame] | 106 | if manifest['type'] not in ['PSA-ROT', 'APPLICATION-ROT']: |
| 107 | raise Exception('Invalid type of {}'.format(manifest['name'])) |
| 108 | |
Chris Brand | f1d6b6f | 2022-07-22 11:49:01 -0700 | [diff] [blame^] | 109 | # "priority" validation |
| 110 | if manifest['priority'] not in ['HIGH', 'NORMAL', 'LOW']: |
| 111 | raise Exception('Invalid priority of {}'.format(manifest['name'])) |
| 112 | |
Kevin Peng | 5c3fee7 | 2022-02-16 22:25:22 +0800 | [diff] [blame] | 113 | # Every PSA Partition must have at least either a secure service or an IRQ |
Kevin Peng | ce99e5d | 2021-11-09 18:06:53 +0800 | [diff] [blame] | 114 | if (pid == None or pid >= TFM_PID_BASE) \ |
Kevin Peng | 8849b6a | 2021-11-09 14:17:35 +0800 | [diff] [blame] | 115 | and len(service_list) == 0 and len(irq_list) == 0: |
| 116 | raise Exception('{} must declare at least either a secure service or an IRQ!' |
Kevin Peng | 5c3fee7 | 2022-02-16 22:25:22 +0800 | [diff] [blame] | 117 | .format(manifest['name'])) |
| 118 | |
| 119 | if manifest['psa_framework_version'] == 1.0: |
| 120 | # For 1.0 Partition, the model is IPC |
| 121 | manifest['model'] = 'IPC' |
| 122 | |
| 123 | # "model" validation: |
| 124 | model = manifest.get('model', None) |
| 125 | if model == None: |
| 126 | raise Exception('{} is missing the "model" attribute'.format(manifest['name'])) |
| 127 | |
| 128 | # Assign a unified 'entry' for templates |
| 129 | if model == 'IPC': |
| 130 | # entry_point is mandatory for IPC Partitions |
| 131 | if 'entry_point' not in manifest.keys(): |
| 132 | raise Exception('{} is missing the "entry_point" attribute'.format(manifest['name'])) |
| 133 | manifest['entry'] = manifest['entry_point'] |
| 134 | elif model == 'SFN': |
| 135 | if 'entry_init' in manifest.keys(): |
| 136 | manifest['entry'] = manifest['entry_init'] |
| 137 | else: |
| 138 | manifest['entry'] = 0 |
| 139 | else: |
| 140 | raise Exception('Invalid "model" of {}'.format(manifest['name'])) |
Kevin Peng | 8849b6a | 2021-11-09 14:17:35 +0800 | [diff] [blame] | 141 | |
| 142 | # Service FF-M manifest validation |
| 143 | for service in service_list: |
Kevin Peng | 5c3fee7 | 2022-02-16 22:25:22 +0800 | [diff] [blame] | 144 | if manifest['psa_framework_version'] == 1.0: |
| 145 | service['connection_based'] = True |
| 146 | elif 'connection_based' not in service: |
| 147 | raise Exception("'connection_based' is mandatory in FF-M 1.1 service!") |
| 148 | |
Mingyang Sun | 294ce2e | 2021-06-11 11:58:24 +0800 | [diff] [blame] | 149 | if 'version' not in service.keys(): |
| 150 | service['version'] = 1 |
| 151 | if 'version_policy' not in service.keys(): |
Kevin Peng | 5bc82d2 | 2021-10-19 11:18:40 +0800 | [diff] [blame] | 152 | service['version_policy'] = 'STRICT' |
Mingyang Sun | 294ce2e | 2021-06-11 11:58:24 +0800 | [diff] [blame] | 153 | |
Kevin Peng | 5bc82d2 | 2021-10-19 11:18:40 +0800 | [diff] [blame] | 154 | # SID duplication check |
| 155 | if service['sid'] in sid_list: |
| 156 | raise Exception('Service ID: {} has duplications!'.format(service['sid'])) |
| 157 | else: |
| 158 | sid_list.append(service['sid']) |
Ruiqi Jiang | 71d361c | 2021-06-23 17:45:55 +0100 | [diff] [blame] | 159 | |
Kevin Peng | 5c3fee7 | 2022-02-16 22:25:22 +0800 | [diff] [blame] | 160 | return manifest |
Mingyang Sun | 294ce2e | 2021-06-11 11:58:24 +0800 | [diff] [blame] | 161 | |
Xinyu Zhang | 7d0a5c8 | 2022-05-16 18:15:11 +0800 | [diff] [blame] | 162 | def check_circular_dependency(partitions, service_partition_map): |
| 163 | """ |
| 164 | This function detects if there is any circular partition dependency chain. |
| 165 | If a circular dependency is detected, the script exits with error. |
| 166 | |
| 167 | Inputs: |
| 168 | - partitions: dict of partition manifests |
| 169 | - service_partition_map: map between services and their owner Partitions |
| 170 | """ |
| 171 | |
| 172 | dependency_table = {} |
| 173 | for partition in partitions: |
| 174 | manifest = partition['manifest'] |
| 175 | dependencies = manifest['dependencies'].copy() \ |
| 176 | if 'dependencies' in manifest else [] |
| 177 | dependencies += manifest['weak_dependencies'].copy() \ |
| 178 | if 'weak_dependencies' in manifest else [] |
| 179 | dependency_table[manifest['name']] = { |
| 180 | 'dependencies': [service_partition_map[dependency] |
| 181 | for dependency in dependencies |
| 182 | if dependency in service_partition_map], |
| 183 | 'validated': False |
| 184 | } |
| 185 | |
| 186 | for partition in dependency_table.keys(): |
| 187 | validate_dependency_chain(partition, dependency_table, []) |
| 188 | |
| 189 | def validate_dependency_chain(partition, |
| 190 | dependency_table, |
| 191 | dependency_chain): |
| 192 | """ |
| 193 | Recursively validate if the given partition and its dependencies |
| 194 | have a circular dependency with the given dependency_chain. |
| 195 | Exit with error code once any circular is detected. |
| 196 | |
| 197 | Inputs: |
| 198 | - partition: next partition to be checked |
| 199 | - dependency_table: dict of partitions and their dependencies |
| 200 | - dependency_chain: list of dependencies in current chain |
| 201 | """ |
| 202 | |
| 203 | dependency_chain.append(partition) |
| 204 | if partition in dependency_chain[:-1]: |
| 205 | logging.error( |
| 206 | 'Circular dependency exists in chain: {}'.format( |
| 207 | ', '.join(dependency_chain))) |
| 208 | exit(1) |
| 209 | for dependency in dependency_table[partition]['dependencies']: |
| 210 | if dependency_table[dependency]['validated']: |
| 211 | continue |
| 212 | validate_dependency_chain(dependency, dependency_table, dependency_chain) |
| 213 | dependency_table[partition]['validated'] = True |
| 214 | |
Kevin Peng | 76c0c16 | 2022-02-09 22:49:06 +0800 | [diff] [blame] | 215 | def process_partition_manifests(manifest_lists, isolation_level, backend): |
Mate Toth-Pal | 36f2184 | 2018-11-08 16:12:51 +0100 | [diff] [blame] | 216 | """ |
Xinyu Zhang | 7d0a5c8 | 2022-05-16 18:15:11 +0800 | [diff] [blame] | 217 | Parse the input manifest lists, check if manifest settings are valid, |
Chris Brand | f1d6b6f | 2022-07-22 11:49:01 -0700 | [diff] [blame^] | 218 | generate the data base for generated files |
Kevin Peng | 655f239 | 2019-11-27 16:33:02 +0800 | [diff] [blame] | 219 | and generate manifest header files. |
Mate Toth-Pal | 36f2184 | 2018-11-08 16:12:51 +0100 | [diff] [blame] | 220 | |
| 221 | Parameters |
| 222 | ---------- |
Kevin Peng | 65064c5 | 2021-10-27 17:12:17 +0800 | [diff] [blame] | 223 | manifest_lists: |
| 224 | A list of Secure Partition manifest lists and their original paths. |
| 225 | The manifest lists might be processed by CMake and the paths might be |
| 226 | different to the original ones. Original paths are needed to handle |
| 227 | relative paths in the lists. |
Chris Brand | f1d6b6f | 2022-07-22 11:49:01 -0700 | [diff] [blame^] | 228 | The format must be [list A, original path A, list B, orignal path B, ...] |
Mate Toth-Pal | 36f2184 | 2018-11-08 16:12:51 +0100 | [diff] [blame] | 229 | |
| 230 | Returns |
| 231 | ------- |
Kevin Peng | 5bc82d2 | 2021-10-19 11:18:40 +0800 | [diff] [blame] | 232 | The manifest data base. |
Edison Ai | 48b2d9e | 2019-06-24 14:39:45 +0800 | [diff] [blame] | 233 | """ |
Kevin Peng | 655f239 | 2019-11-27 16:33:02 +0800 | [diff] [blame] | 234 | |
Kevin Peng | 5bc82d2 | 2021-10-19 11:18:40 +0800 | [diff] [blame] | 235 | context = {} |
| 236 | |
Ken Liu | 861b078 | 2021-05-22 13:15:08 +0800 | [diff] [blame] | 237 | partition_list = [] |
Kevin Peng | 65064c5 | 2021-10-27 17:12:17 +0800 | [diff] [blame] | 238 | all_manifests = [] |
Kevin Peng | 56b0ea6 | 2021-10-18 11:32:57 +0800 | [diff] [blame] | 239 | pid_list = [] |
| 240 | no_pid_manifest_idx = [] |
Xinyu Zhang | 7d0a5c8 | 2022-05-16 18:15:11 +0800 | [diff] [blame] | 241 | service_partition_map = {} |
Xinyu Zhang | 90f08dc | 2022-01-12 15:55:17 +0800 | [diff] [blame] | 242 | partition_statistics = { |
Xinyu Zhang | 2bc4d57 | 2021-12-27 16:37:46 +0800 | [diff] [blame] | 243 | 'connection_based_srv_num': 0, |
Kevin Peng | 47c26ec | 2022-03-11 11:49:52 +0800 | [diff] [blame] | 244 | 'ipc_partitions': [], |
Mingyang Sun | ed5fe7b | 2022-02-10 17:33:21 +0800 | [diff] [blame] | 245 | 'flih_num': 0, |
| 246 | 'slih_num': 0 |
Xinyu Zhang | 90f08dc | 2022-01-12 15:55:17 +0800 | [diff] [blame] | 247 | } |
Kevin Peng | 9f1a754 | 2022-02-07 16:32:27 +0800 | [diff] [blame] | 248 | config_impl = { |
| 249 | 'CONFIG_TFM_SPM_BACKEND_SFN' : '0', |
| 250 | 'CONFIG_TFM_SPM_BACKEND_IPC' : '0', |
| 251 | 'CONFIG_TFM_PSA_API_SFN_CALL' : '0', |
| 252 | 'CONFIG_TFM_PSA_API_CROSS_CALL' : '0', |
| 253 | 'CONFIG_TFM_PSA_API_SUPERVISOR_CALL' : '0', |
Mingyang Sun | ed5fe7b | 2022-02-10 17:33:21 +0800 | [diff] [blame] | 254 | 'CONFIG_TFM_CONNECTION_BASED_SERVICE_API' : '0', |
| 255 | 'CONFIG_TFM_FLIH_API' : '0', |
| 256 | 'CONFIG_TFM_SLIH_API' : '0' |
Kevin Peng | 9f1a754 | 2022-02-07 16:32:27 +0800 | [diff] [blame] | 257 | } |
Kevin Peng | 655f239 | 2019-11-27 16:33:02 +0800 | [diff] [blame] | 258 | |
Kevin Peng | 65064c5 | 2021-10-27 17:12:17 +0800 | [diff] [blame] | 259 | # Get all the manifests information as a dictionary |
| 260 | for i, item in enumerate(manifest_lists): |
| 261 | if i % 2 == 0 and not os.path.isfile(item): |
Jimmy Brisson | 89d4f8d | 2021-06-23 10:17:36 -0500 | [diff] [blame] | 262 | logging.error('Manifest list item [{}] must be a file'.format(i)) |
Kevin Peng | 65064c5 | 2021-10-27 17:12:17 +0800 | [diff] [blame] | 263 | exit(1) |
Kevin Peng | 655f239 | 2019-11-27 16:33:02 +0800 | [diff] [blame] | 264 | |
Kevin Peng | 65064c5 | 2021-10-27 17:12:17 +0800 | [diff] [blame] | 265 | if i % 2 == 1: |
| 266 | if not os.path.isdir(item): |
Jimmy Brisson | 89d4f8d | 2021-06-23 10:17:36 -0500 | [diff] [blame] | 267 | logging.error('Manifest list item [{}] must be a directory'.format(i)) |
Kevin Peng | 65064c5 | 2021-10-27 17:12:17 +0800 | [diff] [blame] | 268 | exit(1) |
David Hu | b269420 | 2021-07-15 14:58:39 +0800 | [diff] [blame] | 269 | |
Kevin Peng | 65064c5 | 2021-10-27 17:12:17 +0800 | [diff] [blame] | 270 | # Skip original manifest paths |
| 271 | continue |
David Hu | b269420 | 2021-07-15 14:58:39 +0800 | [diff] [blame] | 272 | |
Kevin Peng | 65064c5 | 2021-10-27 17:12:17 +0800 | [diff] [blame] | 273 | # The manifest list file generated by configure_file() |
| 274 | with open(item) as manifest_list_yaml_file: |
| 275 | manifest_dic = yaml.safe_load(manifest_list_yaml_file)['manifest_list'] |
| 276 | for dict in manifest_dic: |
| 277 | # Add original path of manifest list. |
| 278 | # The validation will be done in the next loop. |
| 279 | dict['list_path'] = manifest_lists[i + 1] |
| 280 | all_manifests.append(dict) |
| 281 | |
Chris Brand | 4b69fcf | 2022-06-06 09:37:49 -0700 | [diff] [blame] | 282 | logging.info("------------ Display partition configuration - start ------------") |
| 283 | |
Kevin Peng | 65064c5 | 2021-10-27 17:12:17 +0800 | [diff] [blame] | 284 | # Parse the manifests |
| 285 | for i, manifest_item in enumerate(all_manifests): |
Kevin Peng | 68d9a3a | 2021-10-18 11:39:54 +0800 | [diff] [blame] | 286 | valid_enabled_conditions = ['on', 'true', 'enabled'] |
Kevin Peng | 50f413c | 2021-11-12 10:31:45 +0800 | [diff] [blame] | 287 | valid_disabled_conditions = ['off', 'false', 'disabled', ''] |
Kevin Peng | 68d9a3a | 2021-10-18 11:39:54 +0800 | [diff] [blame] | 288 | is_enabled = '' |
| 289 | |
| 290 | if 'conditional' in manifest_item.keys(): |
Kevin Peng | 50f413c | 2021-11-12 10:31:45 +0800 | [diff] [blame] | 291 | is_enabled = str(manifest_item['conditional']).lower() |
Kevin Peng | 68d9a3a | 2021-10-18 11:39:54 +0800 | [diff] [blame] | 292 | else: |
Chris Brand | 4b69fcf | 2022-06-06 09:37:49 -0700 | [diff] [blame] | 293 | # Partitions without 'conditional' are always on |
Kevin Peng | 68d9a3a | 2021-10-18 11:39:54 +0800 | [diff] [blame] | 294 | is_enabled = 'on' |
| 295 | |
| 296 | if is_enabled in valid_disabled_conditions: |
Anton Komlev | 58dde46 | 2022-07-07 13:50:02 +0100 | [diff] [blame] | 297 | logging.info(" {:40s} OFF".format(manifest_item['name'])) |
Kevin Peng | 68d9a3a | 2021-10-18 11:39:54 +0800 | [diff] [blame] | 298 | continue |
Chris Brand | 4b69fcf | 2022-06-06 09:37:49 -0700 | [diff] [blame] | 299 | elif is_enabled in valid_enabled_conditions: |
Anton Komlev | 58dde46 | 2022-07-07 13:50:02 +0100 | [diff] [blame] | 300 | logging.info(" {:40s} ON".format(manifest_item['name'])) |
Chris Brand | 4b69fcf | 2022-06-06 09:37:49 -0700 | [diff] [blame] | 301 | else: |
Kevin Peng | 68d9a3a | 2021-10-18 11:39:54 +0800 | [diff] [blame] | 302 | raise Exception('Invalid "conditional" attribute: "{}" for {}. ' |
| 303 | 'Please set to one of {} or {}, case-insensitive.'\ |
| 304 | .format(manifest_item['conditional'], |
| 305 | manifest_item['name'], |
| 306 | valid_enabled_conditions, valid_disabled_conditions)) |
| 307 | |
Xinyu Zhang | c46ee1f | 2021-04-01 10:10:43 +0800 | [diff] [blame] | 308 | # Check if partition ID is manually set |
| 309 | if 'pid' not in manifest_item.keys(): |
| 310 | no_pid_manifest_idx.append(i) |
Kevin Peng | 8849b6a | 2021-11-09 14:17:35 +0800 | [diff] [blame] | 311 | pid = None |
Kevin Peng | 56b0ea6 | 2021-10-18 11:32:57 +0800 | [diff] [blame] | 312 | else: |
Kevin Peng | 8849b6a | 2021-11-09 14:17:35 +0800 | [diff] [blame] | 313 | pid = manifest_item['pid'] |
| 314 | |
| 315 | # Check if partition ID is duplicated |
| 316 | if pid in pid_list: |
Antonio de Angelis | baa2764 | 2022-05-25 11:07:12 +0100 | [diff] [blame] | 317 | raise Exception('PID No. {} has already been used!'.format(pid)) |
Kevin Peng | 8849b6a | 2021-11-09 14:17:35 +0800 | [diff] [blame] | 318 | else: |
| 319 | pid_list.append(pid) |
Xinyu Zhang | 19504a5 | 2021-03-31 16:26:20 +0800 | [diff] [blame] | 320 | |
Raef Coles | 558487a | 2020-10-29 13:09:44 +0000 | [diff] [blame] | 321 | # Replace environment variables in the manifest path |
Kevin Peng | 655f239 | 2019-11-27 16:33:02 +0800 | [diff] [blame] | 322 | manifest_path = os.path.expandvars(manifest_item['manifest']) |
Kevin Peng | 65064c5 | 2021-10-27 17:12:17 +0800 | [diff] [blame] | 323 | # Convert to absolute path. If it's already abspath, the path will not be changed. |
| 324 | manifest_path = os.path.join(manifest_item['list_path'], manifest_path).replace('\\', '/') |
David Hu | b269420 | 2021-07-15 14:58:39 +0800 | [diff] [blame] | 325 | |
Kevin Peng | 5bc82d2 | 2021-10-19 11:18:40 +0800 | [diff] [blame] | 326 | with open(manifest_path) as manifest_file: |
Kevin Peng | ec0e5ce | 2022-02-17 13:48:51 +0800 | [diff] [blame] | 327 | manifest = yaml.safe_load(manifest_file) |
| 328 | if manifest.get('model', None) == 'dual': |
| 329 | # If a Partition supports both models, it can set the "model" to "backend". |
| 330 | # The actual model used follows the backend being used. |
| 331 | manifest['model'] = backend |
| 332 | manifest = manifest_validation(manifest, pid) |
Kevin Peng | 655f239 | 2019-11-27 16:33:02 +0800 | [diff] [blame] | 333 | |
Kevin Peng | ce99e5d | 2021-11-09 18:06:53 +0800 | [diff] [blame] | 334 | if pid == None or pid >= TFM_PID_BASE: |
Kevin Peng | d08f3ba | 2021-11-18 15:18:56 +0800 | [diff] [blame] | 335 | # Count the number of IPC/SFN partitions |
Kevin Peng | 47c26ec | 2022-03-11 11:49:52 +0800 | [diff] [blame] | 336 | if manifest['model'] == 'IPC': |
| 337 | partition_statistics['ipc_partitions'].append(manifest['name']) |
Mingyang Sun | eab7eae | 2021-09-30 13:06:52 +0800 | [diff] [blame] | 338 | |
Kevin Peng | 5c3fee7 | 2022-02-16 22:25:22 +0800 | [diff] [blame] | 339 | # Set initial value to -1 to make (srv_idx + 1) reflect the correct |
| 340 | # number (0) when there are no services. |
| 341 | srv_idx = -1 |
| 342 | for srv_idx, service in enumerate(manifest.get('services', [])): |
Xinyu Zhang | 7d0a5c8 | 2022-05-16 18:15:11 +0800 | [diff] [blame] | 343 | service_partition_map[service['name']] = manifest['name'] |
Kevin Peng | 5c3fee7 | 2022-02-16 22:25:22 +0800 | [diff] [blame] | 344 | if manifest['model'] == 'IPC': |
| 345 | # Assign signal value, the first 4 bits are reserved by FF-M |
| 346 | service['signal_value'] = (1 << (srv_idx + 4)) |
| 347 | else: |
| 348 | # Signals of SFN Partitions are SPM internal only, does not |
| 349 | # need to reserve 4 bits. |
| 350 | service['signal_value'] = (1 << srv_idx) |
| 351 | if service['connection_based']: |
Xinyu Zhang | 2bc4d57 | 2021-12-27 16:37:46 +0800 | [diff] [blame] | 352 | partition_statistics['connection_based_srv_num'] += 1 |
Kevin Peng | 5c3fee7 | 2022-02-16 22:25:22 +0800 | [diff] [blame] | 353 | logging.debug('{} has {} services'.format(manifest['name'], srv_idx +1)) |
Xinyu Zhang | 2bc4d57 | 2021-12-27 16:37:46 +0800 | [diff] [blame] | 354 | |
Kevin Peng | 5c3fee7 | 2022-02-16 22:25:22 +0800 | [diff] [blame] | 355 | # Set initial value to -1 to make (irq + 1) reflect the correct |
| 356 | # number (0) when there are no irqs. |
| 357 | irq_idx = -1 |
| 358 | for irq_idx, irq in enumerate(manifest.get('irqs', [])): |
| 359 | # Assign signal value, from the most significant bit |
| 360 | irq['signal_value'] = (1 << (31 - irq_idx)) |
Mingyang Sun | ed5fe7b | 2022-02-10 17:33:21 +0800 | [diff] [blame] | 361 | if irq.get('handling', None) == 'FLIH': |
| 362 | partition_statistics['flih_num'] += 1 |
| 363 | else: |
| 364 | partition_statistics['slih_num'] += 1 |
Kevin Peng | 5c3fee7 | 2022-02-16 22:25:22 +0800 | [diff] [blame] | 365 | logging.debug('{} has {} IRQS'.format(manifest['name'], irq_idx +1)) |
| 366 | |
| 367 | if ((srv_idx + 1) + (irq_idx + 1)) > 28: |
| 368 | raise Exception('Total number of Services and IRQs of {} exceeds the limit (28)' |
| 369 | .format(manifest['name'])) |
Mingyang Sun | ed5fe7b | 2022-02-10 17:33:21 +0800 | [diff] [blame] | 370 | |
Kevin Peng | 65064c5 | 2021-10-27 17:12:17 +0800 | [diff] [blame] | 371 | manifest_out_basename = os.path.splitext(os.path.basename(manifest_path))[0] |
Kevin Peng | 655f239 | 2019-11-27 16:33:02 +0800 | [diff] [blame] | 372 | |
Kevin Peng | 4fade07 | 2021-10-26 17:57:50 +0800 | [diff] [blame] | 373 | if 'output_path' in manifest_item: |
Kevin Peng | 4fade07 | 2021-10-26 17:57:50 +0800 | [diff] [blame] | 374 | output_path = os.path.expandvars(manifest_item['output_path']) |
Kevin Peng | 4fade07 | 2021-10-26 17:57:50 +0800 | [diff] [blame] | 375 | else: |
Kevin Peng | 65064c5 | 2021-10-27 17:12:17 +0800 | [diff] [blame] | 376 | output_path = '' |
David Hu | b269420 | 2021-07-15 14:58:39 +0800 | [diff] [blame] | 377 | |
Kevin Peng | 5bc82d2 | 2021-10-19 11:18:40 +0800 | [diff] [blame] | 378 | manifest_head_file = os.path.join(OUT_DIR, output_path, 'psa_manifest', |
| 379 | '{}.h'.format(manifest_out_basename))\ |
| 380 | .replace('\\', '/') |
| 381 | intermedia_file = os.path.join(OUT_DIR, output_path, 'auto_generated', |
| 382 | 'intermedia_{}.c'.format(manifest_out_basename))\ |
| 383 | .replace('\\', '/') |
| 384 | load_info_file = os.path.join(OUT_DIR, output_path, 'auto_generated', |
| 385 | 'load_info_{}.c'.format(manifest_out_basename))\ |
| 386 | .replace('\\', '/') |
Jianliang Shen | 785ed5e | 2022-02-08 14:16:06 +0800 | [diff] [blame] | 387 | output_dir = os.path.join(OUT_DIR, output_path).replace('\\', '/') |
Kevin Peng | 655f239 | 2019-11-27 16:33:02 +0800 | [diff] [blame] | 388 | |
Kevin Peng | 5bc82d2 | 2021-10-19 11:18:40 +0800 | [diff] [blame] | 389 | partition_list.append({'manifest': manifest, 'attr': manifest_item, |
| 390 | 'manifest_out_basename': manifest_out_basename, |
| 391 | 'header_file': manifest_head_file, |
| 392 | 'intermedia_file': intermedia_file, |
Jianliang Shen | 785ed5e | 2022-02-08 14:16:06 +0800 | [diff] [blame] | 393 | 'loadinfo_file': load_info_file, |
| 394 | 'output_dir':output_dir}) |
Ken Liu | 861b078 | 2021-05-22 13:15:08 +0800 | [diff] [blame] | 395 | |
Chris Brand | 4b69fcf | 2022-06-06 09:37:49 -0700 | [diff] [blame] | 396 | logging.info("------------ Display partition configuration - end ------------") |
| 397 | |
Xinyu Zhang | 7d0a5c8 | 2022-05-16 18:15:11 +0800 | [diff] [blame] | 398 | check_circular_dependency(partition_list, service_partition_map) |
| 399 | |
Kevin Peng | 56b0ea6 | 2021-10-18 11:32:57 +0800 | [diff] [blame] | 400 | # Automatically assign PIDs for partitions without 'pid' attribute |
Kevin Peng | ce99e5d | 2021-11-09 18:06:53 +0800 | [diff] [blame] | 401 | pid = max(pid_list, default = TFM_PID_BASE - 1) |
Kevin Peng | 56b0ea6 | 2021-10-18 11:32:57 +0800 | [diff] [blame] | 402 | for idx in no_pid_manifest_idx: |
Kevin Peng | c424eec | 2021-06-25 17:26:11 +0800 | [diff] [blame] | 403 | pid += 1 |
Kevin Peng | 65064c5 | 2021-10-27 17:12:17 +0800 | [diff] [blame] | 404 | all_manifests[idx]['pid'] = pid |
Kevin Peng | 56b0ea6 | 2021-10-18 11:32:57 +0800 | [diff] [blame] | 405 | pid_list.append(pid) |
| 406 | |
Kevin Peng | 9f1a754 | 2022-02-07 16:32:27 +0800 | [diff] [blame] | 407 | # Set up configurations |
Kevin Peng | 76c0c16 | 2022-02-09 22:49:06 +0800 | [diff] [blame] | 408 | if backend == 'SFN': |
Kevin Peng | 47c26ec | 2022-03-11 11:49:52 +0800 | [diff] [blame] | 409 | if len(partition_statistics['ipc_partitions']) > 0: |
| 410 | logging.error('SFN backend does not support IPC Partitions:') |
| 411 | logging.error(partition_statistics['ipc_partitions']) |
Kevin Peng | 9f1a754 | 2022-02-07 16:32:27 +0800 | [diff] [blame] | 412 | exit(1) |
Kevin Peng | 76c0c16 | 2022-02-09 22:49:06 +0800 | [diff] [blame] | 413 | |
| 414 | if isolation_level > 1: |
| 415 | logging.error('SFN backend does not support high isolation levels.') |
| 416 | exit(1) |
| 417 | |
Kevin Peng | 9f1a754 | 2022-02-07 16:32:27 +0800 | [diff] [blame] | 418 | config_impl['CONFIG_TFM_SPM_BACKEND_SFN'] = '1' |
| 419 | config_impl['CONFIG_TFM_PSA_API_SFN_CALL'] = '1' |
Kevin Peng | 76c0c16 | 2022-02-09 22:49:06 +0800 | [diff] [blame] | 420 | elif backend == 'IPC': |
Kevin Peng | 9f1a754 | 2022-02-07 16:32:27 +0800 | [diff] [blame] | 421 | config_impl['CONFIG_TFM_SPM_BACKEND_IPC'] = '1' |
| 422 | if isolation_level > 1: |
| 423 | config_impl['CONFIG_TFM_PSA_API_SUPERVISOR_CALL'] = '1' |
| 424 | else: |
| 425 | config_impl['CONFIG_TFM_PSA_API_CROSS_CALL'] = '1' |
Kevin Peng | 9f1a754 | 2022-02-07 16:32:27 +0800 | [diff] [blame] | 426 | |
| 427 | if partition_statistics['connection_based_srv_num'] > 0: |
| 428 | config_impl['CONFIG_TFM_CONNECTION_BASED_SERVICE_API'] = 1 |
| 429 | |
Mingyang Sun | ed5fe7b | 2022-02-10 17:33:21 +0800 | [diff] [blame] | 430 | if partition_statistics['flih_num'] > 0: |
| 431 | config_impl['CONFIG_TFM_FLIH_API'] = 1 |
Joakim Andersson | eec5cd3 | 2022-06-10 12:02:07 +0200 | [diff] [blame] | 432 | if partition_statistics['slih_num'] > 0: |
Mingyang Sun | ed5fe7b | 2022-02-10 17:33:21 +0800 | [diff] [blame] | 433 | config_impl['CONFIG_TFM_SLIH_API'] = 1 |
| 434 | |
Kevin Peng | 5bc82d2 | 2021-10-19 11:18:40 +0800 | [diff] [blame] | 435 | context['partitions'] = partition_list |
Kevin Peng | 9f1a754 | 2022-02-07 16:32:27 +0800 | [diff] [blame] | 436 | context['config_impl'] = config_impl |
Kevin Peng | ce99e5d | 2021-11-09 18:06:53 +0800 | [diff] [blame] | 437 | context['stateless_services'] = process_stateless_services(partition_list) |
Ruiqi Jiang | 71d361c | 2021-06-23 17:45:55 +0100 | [diff] [blame] | 438 | |
Kevin Peng | 5bc82d2 | 2021-10-19 11:18:40 +0800 | [diff] [blame] | 439 | return context |
Ken Liu | 861b078 | 2021-05-22 13:15:08 +0800 | [diff] [blame] | 440 | |
| 441 | def gen_per_partition_files(context): |
| 442 | """ |
| 443 | Generate per-partition files |
| 444 | |
| 445 | Parameters |
| 446 | ---------- |
| 447 | context: |
| 448 | context contains partition infos |
| 449 | """ |
| 450 | |
Kevin Peng | 5bc82d2 | 2021-10-19 11:18:40 +0800 | [diff] [blame] | 451 | partition_context = {} |
Sherry Zhang | f58f2bd | 2022-01-10 17:21:11 +0800 | [diff] [blame] | 452 | partition_context['utilities'] = context['utilities'] |
Sherry Zhang | f865c4e | 2022-03-23 13:53:38 +0800 | [diff] [blame] | 453 | partition_context['config_impl'] = context['config_impl'] |
Ken Liu | 861b078 | 2021-05-22 13:15:08 +0800 | [diff] [blame] | 454 | |
Kevin Peng | 5bc82d2 | 2021-10-19 11:18:40 +0800 | [diff] [blame] | 455 | manifesttemplate = ENV.get_template(os.path.join(sys.path[0], 'templates/manifestfilename.template')) |
| 456 | memorytemplate = ENV.get_template(os.path.join(sys.path[0], 'templates/partition_intermedia.template')) |
| 457 | infotemplate = ENV.get_template(os.path.join(sys.path[0], 'templates/partition_load_info.template')) |
Ken Liu | 861b078 | 2021-05-22 13:15:08 +0800 | [diff] [blame] | 458 | |
Jimmy Brisson | 89d4f8d | 2021-06-23 10:17:36 -0500 | [diff] [blame] | 459 | logging.info ("Start to generate partition files:") |
Ken Liu | 861b078 | 2021-05-22 13:15:08 +0800 | [diff] [blame] | 460 | |
| 461 | for one_partition in context['partitions']: |
Kevin Peng | 5bc82d2 | 2021-10-19 11:18:40 +0800 | [diff] [blame] | 462 | partition_context['manifest'] = one_partition['manifest'] |
| 463 | partition_context['attr'] = one_partition['attr'] |
| 464 | partition_context['manifest_out_basename'] = one_partition['manifest_out_basename'] |
Ken Liu | 861b078 | 2021-05-22 13:15:08 +0800 | [diff] [blame] | 465 | |
Jianliang Shen | 785ed5e | 2022-02-08 14:16:06 +0800 | [diff] [blame] | 466 | logging.info ('Generating {} in {}'.format(one_partition['attr']['name'], |
| 467 | one_partition['output_dir'])) |
Ken Liu | 861b078 | 2021-05-22 13:15:08 +0800 | [diff] [blame] | 468 | outfile_path = os.path.dirname(one_partition['header_file']) |
Kevin Peng | 655f239 | 2019-11-27 16:33:02 +0800 | [diff] [blame] | 469 | if not os.path.exists(outfile_path): |
| 470 | os.makedirs(outfile_path) |
| 471 | |
Kevin Peng | 5bc82d2 | 2021-10-19 11:18:40 +0800 | [diff] [blame] | 472 | headerfile = io.open(one_partition['header_file'], 'w', newline=None) |
| 473 | headerfile.write(manifesttemplate.render(partition_context)) |
Ken Liu | 861b078 | 2021-05-22 13:15:08 +0800 | [diff] [blame] | 474 | headerfile.close() |
Kevin Peng | 655f239 | 2019-11-27 16:33:02 +0800 | [diff] [blame] | 475 | |
Ken Liu | 861b078 | 2021-05-22 13:15:08 +0800 | [diff] [blame] | 476 | intermediafile_path = os.path.dirname(one_partition['intermedia_file']) |
Mingyang Sun | d20999f | 2020-10-15 14:53:12 +0800 | [diff] [blame] | 477 | if not os.path.exists(intermediafile_path): |
| 478 | os.makedirs(intermediafile_path) |
Kevin Peng | 5bc82d2 | 2021-10-19 11:18:40 +0800 | [diff] [blame] | 479 | intermediafile = io.open(one_partition['intermedia_file'], 'w', newline=None) |
| 480 | intermediafile.write(memorytemplate.render(partition_context)) |
Ken Liu | 861b078 | 2021-05-22 13:15:08 +0800 | [diff] [blame] | 481 | intermediafile.close() |
Mingyang Sun | d20999f | 2020-10-15 14:53:12 +0800 | [diff] [blame] | 482 | |
Ken Liu | 861b078 | 2021-05-22 13:15:08 +0800 | [diff] [blame] | 483 | infofile_path = os.path.dirname(one_partition['loadinfo_file']) |
Mingyang Sun | f6a7857 | 2021-04-02 16:51:05 +0800 | [diff] [blame] | 484 | if not os.path.exists(infofile_path): |
| 485 | os.makedirs(infofile_path) |
Kevin Peng | 5bc82d2 | 2021-10-19 11:18:40 +0800 | [diff] [blame] | 486 | infooutfile = io.open(one_partition['loadinfo_file'], 'w', newline=None) |
| 487 | infooutfile.write(infotemplate.render(partition_context)) |
Ken Liu | 861b078 | 2021-05-22 13:15:08 +0800 | [diff] [blame] | 488 | infooutfile.close() |
Mingyang Sun | f6a7857 | 2021-04-02 16:51:05 +0800 | [diff] [blame] | 489 | |
Jimmy Brisson | 89d4f8d | 2021-06-23 10:17:36 -0500 | [diff] [blame] | 490 | logging.info ("Per-partition files done:") |
Mingyang Sun | f6a7857 | 2021-04-02 16:51:05 +0800 | [diff] [blame] | 491 | |
Ken Liu | 861b078 | 2021-05-22 13:15:08 +0800 | [diff] [blame] | 492 | def gen_summary_files(context, gen_file_lists): |
Kevin Peng | 655f239 | 2019-11-27 16:33:02 +0800 | [diff] [blame] | 493 | """ |
| 494 | Generate files according to the gen_file_list |
Edison Ai | 48b2d9e | 2019-06-24 14:39:45 +0800 | [diff] [blame] | 495 | |
| 496 | Parameters |
| 497 | ---------- |
Raef Coles | f42f088 | 2020-07-10 10:01:58 +0100 | [diff] [blame] | 498 | gen_file_lists: |
| 499 | The lists of files to generate |
Edison Ai | 48b2d9e | 2019-06-24 14:39:45 +0800 | [diff] [blame] | 500 | """ |
Kevin Peng | 655f239 | 2019-11-27 16:33:02 +0800 | [diff] [blame] | 501 | file_list = [] |
Shawn Shan | a9ad1e0 | 2019-08-07 15:49:48 +0800 | [diff] [blame] | 502 | |
Raef Coles | f42f088 | 2020-07-10 10:01:58 +0100 | [diff] [blame] | 503 | for f in gen_file_lists: |
| 504 | with open(f) as file_list_yaml_file: |
Kevin Peng | 655f239 | 2019-11-27 16:33:02 +0800 | [diff] [blame] | 505 | file_list_yaml = yaml.safe_load(file_list_yaml_file) |
Kevin Peng | 5bc82d2 | 2021-10-19 11:18:40 +0800 | [diff] [blame] | 506 | file_list.extend(file_list_yaml['file_list']) |
Edison Ai | 48b2d9e | 2019-06-24 14:39:45 +0800 | [diff] [blame] | 507 | |
Kevin Peng | 655f239 | 2019-11-27 16:33:02 +0800 | [diff] [blame] | 508 | for file in file_list: |
Raef Coles | 558487a | 2020-10-29 13:09:44 +0000 | [diff] [blame] | 509 | # Replace environment variables in the output filepath |
Kevin Peng | 5bc82d2 | 2021-10-19 11:18:40 +0800 | [diff] [blame] | 510 | manifest_out_file = os.path.expandvars(file['output']) |
Raef Coles | 558487a | 2020-10-29 13:09:44 +0000 | [diff] [blame] | 511 | # Replace environment variables in the template filepath |
Kevin Peng | 5bc82d2 | 2021-10-19 11:18:40 +0800 | [diff] [blame] | 512 | templatefile_name = os.path.expandvars(file['template']) |
Edison Ai | 48b2d9e | 2019-06-24 14:39:45 +0800 | [diff] [blame] | 513 | |
Kevin Peng | 4fade07 | 2021-10-26 17:57:50 +0800 | [diff] [blame] | 514 | manifest_out_file = os.path.join(OUT_DIR, manifest_out_file) |
Edison Ai | 48b2d9e | 2019-06-24 14:39:45 +0800 | [diff] [blame] | 515 | |
Ken Liu | 861b078 | 2021-05-22 13:15:08 +0800 | [diff] [blame] | 516 | outfile_path = os.path.dirname(manifest_out_file) |
Kevin Peng | 655f239 | 2019-11-27 16:33:02 +0800 | [diff] [blame] | 517 | if not os.path.exists(outfile_path): |
| 518 | os.makedirs(outfile_path) |
Edison Ai | 48b2d9e | 2019-06-24 14:39:45 +0800 | [diff] [blame] | 519 | |
Kevin Peng | 655f239 | 2019-11-27 16:33:02 +0800 | [diff] [blame] | 520 | template = ENV.get_template(templatefile_name) |
Edison Ai | 6e3f2a3 | 2019-06-11 15:29:05 +0800 | [diff] [blame] | 521 | |
Kevin Peng | 5bc82d2 | 2021-10-19 11:18:40 +0800 | [diff] [blame] | 522 | outfile = io.open(manifest_out_file, 'w', newline=None) |
Kevin Peng | 655f239 | 2019-11-27 16:33:02 +0800 | [diff] [blame] | 523 | outfile.write(template.render(context)) |
| 524 | outfile.close() |
Edison Ai | 48b2d9e | 2019-06-24 14:39:45 +0800 | [diff] [blame] | 525 | |
Kevin Peng | ce99e5d | 2021-11-09 18:06:53 +0800 | [diff] [blame] | 526 | def process_stateless_services(partitions): |
Mingyang Sun | a1ca611 | 2021-01-11 11:34:59 +0800 | [diff] [blame] | 527 | """ |
| 528 | This function collects all stateless services together, and allocates |
Mingyang Sun | 4ecea99 | 2021-03-30 17:56:26 +0800 | [diff] [blame] | 529 | stateless handles for them. |
Kevin Peng | c05319d | 2021-04-22 22:59:35 +0800 | [diff] [blame] | 530 | Valid stateless handle in service will be converted to an index. If the |
| 531 | stateless handle is set as "auto", or not set, framework will allocate a |
| 532 | valid index for the service. |
| 533 | Framework puts each service into a reordered stateless service list at |
| 534 | position of "index". Other unused positions are left None. |
Mingyang Sun | a1ca611 | 2021-01-11 11:34:59 +0800 | [diff] [blame] | 535 | """ |
Kevin Peng | ce99e5d | 2021-11-09 18:06:53 +0800 | [diff] [blame] | 536 | |
| 537 | STATIC_HANDLE_CONFIG_FILE = 'secure_fw/spm/cmsis_psa/spm_ipc.h' |
| 538 | |
Kevin Peng | c05319d | 2021-04-22 22:59:35 +0800 | [diff] [blame] | 539 | collected_stateless_services = [] |
Kevin Peng | ce99e5d | 2021-11-09 18:06:53 +0800 | [diff] [blame] | 540 | stateless_index_max_num = \ |
| 541 | int(get_single_macro_def_from_file(STATIC_HANDLE_CONFIG_FILE, 'STATIC_HANDLE_NUM_LIMIT'), base = 10) |
Mingyang Sun | a1ca611 | 2021-01-11 11:34:59 +0800 | [diff] [blame] | 542 | |
| 543 | # Collect all stateless services first. |
| 544 | for partition in partitions: |
| 545 | # Skip the FF-M 1.0 partitions |
| 546 | if partition['manifest']['psa_framework_version'] < 1.1: |
| 547 | continue |
Kevin Peng | 8849b6a | 2021-11-09 14:17:35 +0800 | [diff] [blame] | 548 | |
| 549 | service_list = partition['manifest'].get('services', []) |
| 550 | |
| 551 | for service in service_list: |
Mingyang Sun | a1ca611 | 2021-01-11 11:34:59 +0800 | [diff] [blame] | 552 | if service['connection_based'] is False: |
Kevin Peng | c05319d | 2021-04-22 22:59:35 +0800 | [diff] [blame] | 553 | collected_stateless_services.append(service) |
Mingyang Sun | a1ca611 | 2021-01-11 11:34:59 +0800 | [diff] [blame] | 554 | |
Kevin Peng | c05319d | 2021-04-22 22:59:35 +0800 | [diff] [blame] | 555 | if len(collected_stateless_services) == 0: |
Mingyang Sun | a1ca611 | 2021-01-11 11:34:59 +0800 | [diff] [blame] | 556 | return [] |
| 557 | |
Ken Liu | 861b078 | 2021-05-22 13:15:08 +0800 | [diff] [blame] | 558 | if len(collected_stateless_services) > stateless_index_max_num: |
Kevin Peng | 5bc82d2 | 2021-10-19 11:18:40 +0800 | [diff] [blame] | 559 | raise Exception('Stateless service numbers range exceed {number}.'.format(number=stateless_index_max_num)) |
Mingyang Sun | a1ca611 | 2021-01-11 11:34:59 +0800 | [diff] [blame] | 560 | |
| 561 | """ |
Kevin Peng | c05319d | 2021-04-22 22:59:35 +0800 | [diff] [blame] | 562 | Allocate an empty stateless service list to store services. |
| 563 | Use "handle - 1" as the index for service, since handle value starts from |
| 564 | 1 and list index starts from 0. |
Mingyang Sun | a1ca611 | 2021-01-11 11:34:59 +0800 | [diff] [blame] | 565 | """ |
Ken Liu | 861b078 | 2021-05-22 13:15:08 +0800 | [diff] [blame] | 566 | reordered_stateless_services = [None] * stateless_index_max_num |
Kevin Peng | c05319d | 2021-04-22 22:59:35 +0800 | [diff] [blame] | 567 | auto_alloc_services = [] |
Mingyang Sun | a1ca611 | 2021-01-11 11:34:59 +0800 | [diff] [blame] | 568 | |
Kevin Peng | c05319d | 2021-04-22 22:59:35 +0800 | [diff] [blame] | 569 | for service in collected_stateless_services: |
| 570 | # If not set, it is "auto" by default |
| 571 | if 'stateless_handle' not in service: |
| 572 | auto_alloc_services.append(service) |
| 573 | continue |
| 574 | |
Mingyang Sun | 4ecea99 | 2021-03-30 17:56:26 +0800 | [diff] [blame] | 575 | service_handle = service['stateless_handle'] |
Mingyang Sun | a1ca611 | 2021-01-11 11:34:59 +0800 | [diff] [blame] | 576 | |
Mingyang Sun | 4ecea99 | 2021-03-30 17:56:26 +0800 | [diff] [blame] | 577 | # Fill in service list with specified stateless handle, otherwise skip |
| 578 | if isinstance(service_handle, int): |
Ken Liu | 861b078 | 2021-05-22 13:15:08 +0800 | [diff] [blame] | 579 | if service_handle < 1 or service_handle > stateless_index_max_num: |
Kevin Peng | 5bc82d2 | 2021-10-19 11:18:40 +0800 | [diff] [blame] | 580 | raise Exception('Invalid stateless_handle setting: {handle}.'.format(handle=service['stateless_handle'])) |
Mingyang Sun | 4ecea99 | 2021-03-30 17:56:26 +0800 | [diff] [blame] | 581 | # Convert handle index to reordered service list index |
| 582 | service_handle = service_handle - 1 |
| 583 | |
| 584 | if reordered_stateless_services[service_handle] is not None: |
Kevin Peng | 5bc82d2 | 2021-10-19 11:18:40 +0800 | [diff] [blame] | 585 | raise Exception('Duplicated stateless_handle setting: {handle}.'.format(handle=service['stateless_handle'])) |
Mingyang Sun | 4ecea99 | 2021-03-30 17:56:26 +0800 | [diff] [blame] | 586 | reordered_stateless_services[service_handle] = service |
Kevin Peng | c05319d | 2021-04-22 22:59:35 +0800 | [diff] [blame] | 587 | elif service_handle == 'auto': |
| 588 | auto_alloc_services.append(service) |
| 589 | else: |
Kevin Peng | 5bc82d2 | 2021-10-19 11:18:40 +0800 | [diff] [blame] | 590 | raise Exception('Invalid stateless_handle setting: {handle}.'.format(handle=service['stateless_handle'])) |
Mingyang Sun | 4ecea99 | 2021-03-30 17:56:26 +0800 | [diff] [blame] | 591 | |
Kevin Peng | ce99e5d | 2021-11-09 18:06:53 +0800 | [diff] [blame] | 592 | STATIC_HANDLE_IDX_BIT_WIDTH = \ |
| 593 | int(get_single_macro_def_from_file(STATIC_HANDLE_CONFIG_FILE, 'STATIC_HANDLE_IDX_BIT_WIDTH'), base = 10) |
| 594 | STATIC_HANDLE_IDX_MASK = (1 << STATIC_HANDLE_IDX_BIT_WIDTH) - 1 |
| 595 | |
| 596 | STATIC_HANDLE_INDICATOR_OFFSET = \ |
| 597 | int(get_single_macro_def_from_file(STATIC_HANDLE_CONFIG_FILE, 'STATIC_HANDLE_INDICATOR_OFFSET'), base = 10) |
| 598 | |
| 599 | STATIC_HANDLE_VER_OFFSET = \ |
| 600 | int(get_single_macro_def_from_file(STATIC_HANDLE_CONFIG_FILE, 'STATIC_HANDLE_VER_OFFSET'), base = 10) |
| 601 | |
| 602 | STATIC_HANDLE_VER_BIT_WIDTH = \ |
| 603 | int(get_single_macro_def_from_file(STATIC_HANDLE_CONFIG_FILE, 'STATIC_HANDLE_VER_BIT_WIDTH'), base = 10) |
| 604 | STATIC_HANDLE_VER_MASK = (1 << STATIC_HANDLE_VER_BIT_WIDTH) - 1 |
| 605 | |
Mingyang Sun | 4ecea99 | 2021-03-30 17:56:26 +0800 | [diff] [blame] | 606 | # Auto-allocate stateless handle and encode the stateless handle |
Ken Liu | 861b078 | 2021-05-22 13:15:08 +0800 | [diff] [blame] | 607 | for i in range(0, stateless_index_max_num): |
Mingyang Sun | 4ecea99 | 2021-03-30 17:56:26 +0800 | [diff] [blame] | 608 | service = reordered_stateless_services[i] |
| 609 | |
Kevin Peng | c05319d | 2021-04-22 22:59:35 +0800 | [diff] [blame] | 610 | if service == None and len(auto_alloc_services) > 0: |
| 611 | service = auto_alloc_services.pop(0) |
Mingyang Sun | 4ecea99 | 2021-03-30 17:56:26 +0800 | [diff] [blame] | 612 | |
Mingyang Sun | 453ad40 | 2021-03-17 17:58:33 +0800 | [diff] [blame] | 613 | """ |
| 614 | Encode stateless flag and version into stateless handle |
Kevin Peng | ce99e5d | 2021-11-09 18:06:53 +0800 | [diff] [blame] | 615 | Check STATIC_HANDLE_CONFIG_FILE for details |
Mingyang Sun | 453ad40 | 2021-03-17 17:58:33 +0800 | [diff] [blame] | 616 | """ |
Mingyang Sun | 4ecea99 | 2021-03-30 17:56:26 +0800 | [diff] [blame] | 617 | stateless_handle_value = 0 |
| 618 | if service != None: |
Kevin Peng | ce99e5d | 2021-11-09 18:06:53 +0800 | [diff] [blame] | 619 | stateless_index = (i & STATIC_HANDLE_IDX_MASK) |
Mingyang Sun | 4ecea99 | 2021-03-30 17:56:26 +0800 | [diff] [blame] | 620 | stateless_handle_value |= stateless_index |
Kevin Peng | ce99e5d | 2021-11-09 18:06:53 +0800 | [diff] [blame] | 621 | stateless_handle_value |= (1 << STATIC_HANDLE_INDICATOR_OFFSET) |
| 622 | stateless_version = (service['version'] & STATIC_HANDLE_VER_MASK) << STATIC_HANDLE_VER_OFFSET |
Mingyang Sun | 453ad40 | 2021-03-17 17:58:33 +0800 | [diff] [blame] | 623 | stateless_handle_value |= stateless_version |
Mingyang Sun | 4ecea99 | 2021-03-30 17:56:26 +0800 | [diff] [blame] | 624 | service['stateless_handle_value'] = '0x{0:08x}'.format(stateless_handle_value) |
Ken Liu | 861b078 | 2021-05-22 13:15:08 +0800 | [diff] [blame] | 625 | service['stateless_handle_index'] = stateless_index |
Mingyang Sun | a1ca611 | 2021-01-11 11:34:59 +0800 | [diff] [blame] | 626 | |
Mingyang Sun | 4ecea99 | 2021-03-30 17:56:26 +0800 | [diff] [blame] | 627 | reordered_stateless_services[i] = service |
| 628 | |
| 629 | return reordered_stateless_services |
Mingyang Sun | a1ca611 | 2021-01-11 11:34:59 +0800 | [diff] [blame] | 630 | |
Kevin Peng | 655f239 | 2019-11-27 16:33:02 +0800 | [diff] [blame] | 631 | def parse_args(): |
Raef Coles | 558487a | 2020-10-29 13:09:44 +0000 | [diff] [blame] | 632 | parser = argparse.ArgumentParser(description='Parse secure partition manifest list and generate files listed by the file list', |
| 633 | epilog='Note that environment variables in template files will be replaced with their values') |
| 634 | |
Kevin Peng | 655f239 | 2019-11-27 16:33:02 +0800 | [diff] [blame] | 635 | parser.add_argument('-o', '--outdir' |
| 636 | , dest='outdir' |
Kevin Peng | 4fade07 | 2021-10-26 17:57:50 +0800 | [diff] [blame] | 637 | , required=True |
Kevin Peng | 655f239 | 2019-11-27 16:33:02 +0800 | [diff] [blame] | 638 | , metavar='out_dir' |
Kevin Peng | 4fade07 | 2021-10-26 17:57:50 +0800 | [diff] [blame] | 639 | , help='The root directory for generated files') |
Shawn Shan | a9ad1e0 | 2019-08-07 15:49:48 +0800 | [diff] [blame] | 640 | |
Kevin Peng | 5bc82d2 | 2021-10-19 11:18:40 +0800 | [diff] [blame] | 641 | parser.add_argument('-m', '--manifest-lists' |
Raef Coles | f42f088 | 2020-07-10 10:01:58 +0100 | [diff] [blame] | 642 | , nargs='+' |
Kevin Peng | 5bc82d2 | 2021-10-19 11:18:40 +0800 | [diff] [blame] | 643 | , dest='manifest_lists' |
Raef Coles | f42f088 | 2020-07-10 10:01:58 +0100 | [diff] [blame] | 644 | , required=True |
Kevin Peng | 65064c5 | 2021-10-27 17:12:17 +0800 | [diff] [blame] | 645 | , metavar='manifest list' |
| 646 | , help='A list of Secure Partition manifest lists and their original paths.\n\ |
| 647 | The manifest lists might be processed by CMake and\n\ |
| 648 | the path might be different to the original one\n\ |
| 649 | The format must be [list A, orignal path A, list B, orignal path B, ...]') |
Kevin Peng | 655f239 | 2019-11-27 16:33:02 +0800 | [diff] [blame] | 650 | |
| 651 | parser.add_argument('-f', '--file-list' |
Raef Coles | f42f088 | 2020-07-10 10:01:58 +0100 | [diff] [blame] | 652 | , nargs='+' |
Kevin Peng | 655f239 | 2019-11-27 16:33:02 +0800 | [diff] [blame] | 653 | , dest='gen_file_args' |
Raef Coles | f42f088 | 2020-07-10 10:01:58 +0100 | [diff] [blame] | 654 | , required=True |
Kevin Peng | 655f239 | 2019-11-27 16:33:02 +0800 | [diff] [blame] | 655 | , metavar='file-list' |
Chris Brand | f1d6b6f | 2022-07-22 11:49:01 -0700 | [diff] [blame^] | 656 | , help='These files describe the file list to generate') |
Kevin Peng | 9f1a754 | 2022-02-07 16:32:27 +0800 | [diff] [blame] | 657 | |
| 658 | parser.add_argument('-l', '--isolation-level' |
| 659 | , dest='isolation_level' |
| 660 | , required=True |
| 661 | , choices=['1', '2', '3'] |
Kevin Peng | 76c0c16 | 2022-02-09 22:49:06 +0800 | [diff] [blame] | 662 | , metavar='isolation-level') |
| 663 | |
| 664 | parser.add_argument('-b', '--backend' |
| 665 | , dest='backend' |
| 666 | , required=True |
| 667 | , choices=['IPC', 'SFN'] |
| 668 | , metavar='spm-backend' |
Kevin Peng | 9f1a754 | 2022-02-07 16:32:27 +0800 | [diff] [blame] | 669 | , help='The isolation level') |
| 670 | |
Jimmy Brisson | 89d4f8d | 2021-06-23 10:17:36 -0500 | [diff] [blame] | 671 | parser.add_argument('-q', '--quiet' |
| 672 | , dest='quiet' |
| 673 | , required=False |
| 674 | , default=False |
| 675 | , action='store_true' |
| 676 | , help='Reduce log messages') |
Kevin Peng | 655f239 | 2019-11-27 16:33:02 +0800 | [diff] [blame] | 677 | |
| 678 | args = parser.parse_args() |
Kevin Peng | 655f239 | 2019-11-27 16:33:02 +0800 | [diff] [blame] | 679 | |
Kevin Peng | 65064c5 | 2021-10-27 17:12:17 +0800 | [diff] [blame] | 680 | if len(args.manifest_lists) % 2 != 0: |
Jimmy Brisson | 89d4f8d | 2021-06-23 10:17:36 -0500 | [diff] [blame] | 681 | logging.error('Invalid structure in manifest lists.\n' |
Kevin Peng | 65064c5 | 2021-10-27 17:12:17 +0800 | [diff] [blame] | 682 | 'Each element shall consist of a manifest list and its original path') |
| 683 | exit(1) |
| 684 | |
Kevin Peng | 655f239 | 2019-11-27 16:33:02 +0800 | [diff] [blame] | 685 | return args |
| 686 | |
| 687 | ENV = Environment( |
| 688 | loader = TemplateLoader(), |
| 689 | autoescape = select_autoescape(['html', 'xml']), |
| 690 | lstrip_blocks = True, |
| 691 | trim_blocks = True, |
| 692 | keep_trailing_newline = True |
| 693 | ) |
Mate Toth-Pal | 36f2184 | 2018-11-08 16:12:51 +0100 | [diff] [blame] | 694 | |
Miklos Balint | 470919c | 2018-05-22 17:51:29 +0200 | [diff] [blame] | 695 | def main(): |
Mate Toth-Pal | 36f2184 | 2018-11-08 16:12:51 +0100 | [diff] [blame] | 696 | """ |
| 697 | The entry point of the script. |
| 698 | |
| 699 | Generates the output files based on the templates and the manifests. |
| 700 | """ |
Shawn Shan | a9ad1e0 | 2019-08-07 15:49:48 +0800 | [diff] [blame] | 701 | |
Kevin Peng | 655f239 | 2019-11-27 16:33:02 +0800 | [diff] [blame] | 702 | global OUT_DIR |
Shawn Shan | a9ad1e0 | 2019-08-07 15:49:48 +0800 | [diff] [blame] | 703 | |
Kevin Peng | 655f239 | 2019-11-27 16:33:02 +0800 | [diff] [blame] | 704 | args = parse_args() |
Shawn Shan | a9ad1e0 | 2019-08-07 15:49:48 +0800 | [diff] [blame] | 705 | |
Jimmy Brisson | 89d4f8d | 2021-06-23 10:17:36 -0500 | [diff] [blame] | 706 | logging.basicConfig(format='%(message)s' |
| 707 | , level=logging.WARNING if args.quiet else logging.INFO) |
| 708 | |
Kevin Peng | 5bc82d2 | 2021-10-19 11:18:40 +0800 | [diff] [blame] | 709 | OUT_DIR = os.path.abspath(args.outdir) |
Kevin Peng | 655f239 | 2019-11-27 16:33:02 +0800 | [diff] [blame] | 710 | |
Kevin Peng | 5bc82d2 | 2021-10-19 11:18:40 +0800 | [diff] [blame] | 711 | manifest_lists = [os.path.abspath(x) for x in args.manifest_lists] |
| 712 | gen_file_lists = [os.path.abspath(x) for x in args.gen_file_args] |
Shawn Shan | a9ad1e0 | 2019-08-07 15:49:48 +0800 | [diff] [blame] | 713 | |
Shawn Shan | a9ad1e0 | 2019-08-07 15:49:48 +0800 | [diff] [blame] | 714 | """ |
Kevin Peng | 655f239 | 2019-11-27 16:33:02 +0800 | [diff] [blame] | 715 | Relative path to TF-M root folder is supported in the manifests |
| 716 | and default value of manifest list and generated file list are relative to TF-M root folder as well, |
| 717 | so first change directory to TF-M root folder. |
Shawn Shan | a9ad1e0 | 2019-08-07 15:49:48 +0800 | [diff] [blame] | 718 | By doing this, the script can be executed anywhere |
Kevin Peng | 655f239 | 2019-11-27 16:33:02 +0800 | [diff] [blame] | 719 | The script is located in <TF-M root folder>/tools, so sys.path[0]<location of the script>/.. is TF-M root folder. |
Shawn Shan | a9ad1e0 | 2019-08-07 15:49:48 +0800 | [diff] [blame] | 720 | """ |
Kevin Peng | 5bc82d2 | 2021-10-19 11:18:40 +0800 | [diff] [blame] | 721 | os.chdir(os.path.join(sys.path[0], '..')) |
Shawn Shan | a9ad1e0 | 2019-08-07 15:49:48 +0800 | [diff] [blame] | 722 | |
Kevin Peng | 76c0c16 | 2022-02-09 22:49:06 +0800 | [diff] [blame] | 723 | context = process_partition_manifests(manifest_lists, |
| 724 | int(args.isolation_level), |
| 725 | args.backend) |
Mate Toth-Pal | 36f2184 | 2018-11-08 16:12:51 +0100 | [diff] [blame] | 726 | |
Edison Ai | 6e3f2a3 | 2019-06-11 15:29:05 +0800 | [diff] [blame] | 727 | utilities = {} |
Mingyang Sun | a1ca611 | 2021-01-11 11:34:59 +0800 | [diff] [blame] | 728 | utilities['donotedit_warning'] = donotedit_warning |
Miklos Balint | 470919c | 2018-05-22 17:51:29 +0200 | [diff] [blame] | 729 | |
Kevin Peng | 655f239 | 2019-11-27 16:33:02 +0800 | [diff] [blame] | 730 | context['utilities'] = utilities |
Mingyang Sun | eab7eae | 2021-09-30 13:06:52 +0800 | [diff] [blame] | 731 | |
Ken Liu | 861b078 | 2021-05-22 13:15:08 +0800 | [diff] [blame] | 732 | gen_per_partition_files(context) |
Kevin Peng | 5bc82d2 | 2021-10-19 11:18:40 +0800 | [diff] [blame] | 733 | gen_summary_files(context, gen_file_lists) |
Miklos Balint | 470919c | 2018-05-22 17:51:29 +0200 | [diff] [blame] | 734 | |
Kevin Peng | 5bc82d2 | 2021-10-19 11:18:40 +0800 | [diff] [blame] | 735 | if __name__ == '__main__': |
Miklos Balint | 470919c | 2018-05-22 17:51:29 +0200 | [diff] [blame] | 736 | main() |