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