Manish Pandey | 3f90ad7 | 2020-01-14 11:52:05 +0000 | [diff] [blame] | 1 | #!/usr/bin/python3 |
Anders Dellien | 836c64f | 2022-01-07 13:26:29 +0000 | [diff] [blame] | 2 | # Copyright (c) 2020-2022, Arm Limited. All rights reserved. |
Manish Pandey | 3f90ad7 | 2020-01-14 11:52:05 +0000 | [diff] [blame] | 3 | # |
| 4 | # SPDX-License-Identifier: BSD-3-Clause |
| 5 | |
| 6 | """ |
| 7 | This script is invoked by Make system and generates secure partition makefile. |
| 8 | It expects platform provided secure partition layout file which contains list |
| 9 | of Secure Partition Images and Partition manifests(PM). |
| 10 | Layout file can exist outside of TF-A tree and the paths of Image and PM files |
| 11 | must be relative to it. |
| 12 | |
| 13 | This script parses the layout file and generates a make file which updates |
Manish Pandey | aaaeb31 | 2020-05-26 23:59:36 +0100 | [diff] [blame] | 14 | FDT_SOURCES, FIP_ARGS, CRT_ARGS and SPTOOL_ARGS which are used in later build |
| 15 | steps. |
Imre Kis | 3f370fd | 2022-02-08 18:06:18 +0100 | [diff] [blame] | 16 | If the SP entry in the layout file has a "uuid" field the scripts gets the UUID |
| 17 | from there, otherwise it parses the associated partition manifest and extracts |
| 18 | the UUID from there. |
Manish Pandey | 3f90ad7 | 2020-01-14 11:52:05 +0000 | [diff] [blame] | 19 | |
| 20 | param1: Generated mk file "sp_gen.mk" |
| 21 | param2: "SP_LAYOUT_FILE", json file containing platform provided information |
| 22 | param3: plat out directory |
Ruari Phipps | 571ed6b | 2020-07-24 16:20:57 +0100 | [diff] [blame] | 23 | param4: CoT parameter |
Manish Pandey | 3f90ad7 | 2020-01-14 11:52:05 +0000 | [diff] [blame] | 24 | |
| 25 | Generated "sp_gen.mk" file contains triplet of following information for each |
| 26 | Secure Partition entry |
| 27 | FDT_SOURCES += sp1.dts |
| 28 | SPTOOL_ARGS += -i sp1.bin:sp1.dtb -o sp1.pkg |
| 29 | FIP_ARGS += --blob uuid=XXXXX-XXX...,file=sp1.pkg |
Manish Pandey | aaaeb31 | 2020-05-26 23:59:36 +0100 | [diff] [blame] | 30 | CRT_ARGS += --sp-pkg1 sp1.pkg |
Manish Pandey | 3f90ad7 | 2020-01-14 11:52:05 +0000 | [diff] [blame] | 31 | |
| 32 | A typical SP_LAYOUT_FILE file will look like |
| 33 | { |
| 34 | "SP1" : { |
| 35 | "image": "sp1.bin", |
| 36 | "pm": "test/sp1.dts" |
| 37 | }, |
| 38 | |
| 39 | "SP2" : { |
| 40 | "image": "sp2.bin", |
Imre Kis | 3f370fd | 2022-02-08 18:06:18 +0100 | [diff] [blame] | 41 | "pm": "test/sp2.dts", |
| 42 | "uuid": "1b1820fe-48f7-4175-8999-d51da00b7c9f" |
Manish Pandey | 3f90ad7 | 2020-01-14 11:52:05 +0000 | [diff] [blame] | 43 | } |
| 44 | |
| 45 | ... |
| 46 | } |
| 47 | |
| 48 | """ |
Manish Pandey | 3f90ad7 | 2020-01-14 11:52:05 +0000 | [diff] [blame] | 49 | import json |
| 50 | import os |
| 51 | import re |
| 52 | import sys |
| 53 | import uuid |
J-Alves | d10fb03 | 2022-03-21 14:11:43 +0000 | [diff] [blame] | 54 | from spactions import SpSetupActions |
Manish Pandey | 3f90ad7 | 2020-01-14 11:52:05 +0000 | [diff] [blame] | 55 | |
Ruari Phipps | 571ed6b | 2020-07-24 16:20:57 +0100 | [diff] [blame] | 56 | MAX_SP = 8 |
J-Alves | d10fb03 | 2022-03-21 14:11:43 +0000 | [diff] [blame] | 57 | UUID_LEN = 4 |
Manish Pandey | 3f90ad7 | 2020-01-14 11:52:05 +0000 | [diff] [blame] | 58 | |
J-Alves | d10fb03 | 2022-03-21 14:11:43 +0000 | [diff] [blame] | 59 | # Some helper functions to access args propagated to the action functions in |
| 60 | # SpSetupActions framework. |
J-Alves | d10fb03 | 2022-03-21 14:11:43 +0000 | [diff] [blame] | 61 | def check_sp_mk_gen(args :dict): |
| 62 | if "sp_gen_mk" not in args.keys(): |
| 63 | raise Exception(f"Path to file sp_gen.mk needs to be in 'args'.") |
Ruari Phipps | 571ed6b | 2020-07-24 16:20:57 +0100 | [diff] [blame] | 64 | |
J-Alves | d10fb03 | 2022-03-21 14:11:43 +0000 | [diff] [blame] | 65 | def check_out_dir(args :dict): |
| 66 | if "out_dir" not in args.keys() or not os.path.isdir(args["out_dir"]): |
| 67 | raise Exception("Define output folder with \'out_dir\' key.") |
Ruari Phipps | 571ed6b | 2020-07-24 16:20:57 +0100 | [diff] [blame] | 68 | |
J-Alves | d10fb03 | 2022-03-21 14:11:43 +0000 | [diff] [blame] | 69 | def check_sp_layout_dir(args :dict): |
| 70 | if "sp_layout_dir" not in args.keys() or not os.path.isdir(args["sp_layout_dir"]): |
| 71 | raise Exception("Define output folder with \'sp_layout_dir\' key.") |
Ruari Phipps | 571ed6b | 2020-07-24 16:20:57 +0100 | [diff] [blame] | 72 | |
J-Alves | d10fb03 | 2022-03-21 14:11:43 +0000 | [diff] [blame] | 73 | def write_to_sp_mk_gen(content, args :dict): |
| 74 | check_sp_mk_gen(args) |
| 75 | with open(args["sp_gen_mk"], "a") as f: |
| 76 | f.write(f"{content}\n") |
Manish Pandey | 3f90ad7 | 2020-01-14 11:52:05 +0000 | [diff] [blame] | 77 | |
J-Alves | d10fb03 | 2022-03-21 14:11:43 +0000 | [diff] [blame] | 78 | def get_sp_manifest_full_path(sp_node, args :dict): |
| 79 | check_sp_layout_dir(args) |
| 80 | return os.path.join(args["sp_layout_dir"], get_file_from_layout(sp_node["pm"])) |
Manish Pandey | 3f90ad7 | 2020-01-14 11:52:05 +0000 | [diff] [blame] | 81 | |
J-Alves | d10fb03 | 2022-03-21 14:11:43 +0000 | [diff] [blame] | 82 | def get_sp_img_full_path(sp_node, args :dict): |
| 83 | check_sp_layout_dir(args) |
| 84 | return os.path.join(args["sp_layout_dir"], get_file_from_layout(sp_node["image"])) |
| 85 | |
| 86 | def get_sp_pkg(sp, args :dict): |
| 87 | check_out_dir(args) |
| 88 | return os.path.join(args["out_dir"], f"{sp}.pkg") |
| 89 | |
| 90 | def is_line_in_sp_gen(line, args :dict): |
| 91 | with open(args["sp_gen_mk"], "r") as f: |
| 92 | sppkg_rule = [l for l in f if line in l] |
| 93 | return len(sppkg_rule) is not 0 |
Olivier Deprez | 1890984 | 2021-05-11 09:43:37 +0200 | [diff] [blame] | 94 | |
J-Alves | d10fb03 | 2022-03-21 14:11:43 +0000 | [diff] [blame] | 95 | def get_file_from_layout(node): |
| 96 | ''' Helper to fetch a file path from sp_layout.json. ''' |
| 97 | if type(node) is dict and "file" in node.keys(): |
| 98 | return node["file"] |
| 99 | return node |
Manish Pandey | 3f90ad7 | 2020-01-14 11:52:05 +0000 | [diff] [blame] | 100 | |
J-Alves | d10fb03 | 2022-03-21 14:11:43 +0000 | [diff] [blame] | 101 | def get_offset_from_layout(node): |
| 102 | ''' Helper to fetch an offset from sp_layout.json. ''' |
| 103 | if type(node) is dict and "offset" in node.keys(): |
| 104 | return int(node["offset"], 0) |
| 105 | return None |
| 106 | |
| 107 | def get_image_offset(node): |
| 108 | ''' Helper to fetch image offset from sp_layout.json ''' |
| 109 | return get_offset_from_layout(node["image"]) |
| 110 | |
| 111 | def get_pm_offset(node): |
| 112 | ''' Helper to fetch pm offset from sp_layout.json ''' |
| 113 | return get_offset_from_layout(node["pm"]) |
| 114 | |
| 115 | @SpSetupActions.sp_action(global_action=True) |
| 116 | def check_max_sps(sp_layout, _, args :dict): |
| 117 | ''' Check validate the maximum number of SPs is respected. ''' |
| 118 | if len(sp_layout.keys()) > MAX_SP: |
| 119 | raise Exception(f"Too many SPs in SP layout file. Max: {MAX_SP}") |
| 120 | return args |
Manish Pandey | 3f90ad7 | 2020-01-14 11:52:05 +0000 | [diff] [blame] | 121 | |
J-Alves | d10fb03 | 2022-03-21 14:11:43 +0000 | [diff] [blame] | 122 | @SpSetupActions.sp_action |
| 123 | def gen_fdt_sources(sp_layout, sp, args :dict): |
| 124 | ''' Generate FDT_SOURCES values for a given SP. ''' |
| 125 | manifest_path = get_sp_manifest_full_path(sp_layout[sp], args) |
| 126 | write_to_sp_mk_gen(f"FDT_SOURCES += {manifest_path}", args) |
| 127 | return args |
Manish Pandey | aaaeb31 | 2020-05-26 23:59:36 +0100 | [diff] [blame] | 128 | |
J-Alves | d10fb03 | 2022-03-21 14:11:43 +0000 | [diff] [blame] | 129 | @SpSetupActions.sp_action |
J-Alves | ef8e098 | 2022-03-22 16:28:51 +0000 | [diff] [blame] | 130 | def gen_sptool_args(sp_layout, sp, args :dict): |
| 131 | ''' Generate Sp Pkgs rules. ''' |
J-Alves | d10fb03 | 2022-03-21 14:11:43 +0000 | [diff] [blame] | 132 | sp_pkg = get_sp_pkg(sp, args) |
J-Alves | ef8e098 | 2022-03-22 16:28:51 +0000 | [diff] [blame] | 133 | sp_dtb_name = os.path.basename(get_file_from_layout(sp_layout[sp]["pm"]))[:-1] + "b" |
J-Alves | d10fb03 | 2022-03-21 14:11:43 +0000 | [diff] [blame] | 134 | sp_dtb = os.path.join(args["out_dir"], f"fdts/{sp_dtb_name}") |
J-Alves | ef8e098 | 2022-03-22 16:28:51 +0000 | [diff] [blame] | 135 | |
| 136 | # Do not generate rule if already there. |
| 137 | if is_line_in_sp_gen(f'{sp_pkg}:', args): |
| 138 | return args |
| 139 | write_to_sp_mk_gen(f"SP_PKGS += {sp_pkg}\n", args) |
| 140 | |
| 141 | sptool_args = f" -i {get_sp_img_full_path(sp_layout[sp], args)}:{sp_dtb}" |
| 142 | pm_offset = get_pm_offset(sp_layout[sp]) |
| 143 | sptool_args += f" --pm-offset {pm_offset}" if pm_offset is not None else "" |
| 144 | image_offset = get_image_offset(sp_layout[sp]) |
| 145 | sptool_args += f" --img-offset {image_offset}" if image_offset is not None else "" |
| 146 | sptool_args += f" -o {sp_pkg}" |
| 147 | sppkg_rule = f''' |
Daniel Boulby | fe8215d | 2022-06-09 12:04:30 +0100 | [diff] [blame] | 148 | {sp_pkg}: {sp_dtb} |
J-Alves | ef8e098 | 2022-03-22 16:28:51 +0000 | [diff] [blame] | 149 | \t$(Q)echo Generating {sp_pkg} |
| 150 | \t$(Q)$(PYTHON) $(SPTOOL) {sptool_args} |
| 151 | ''' |
| 152 | write_to_sp_mk_gen(sppkg_rule, args) |
J-Alves | d10fb03 | 2022-03-21 14:11:43 +0000 | [diff] [blame] | 153 | return args |
| 154 | |
| 155 | @SpSetupActions.sp_action(global_action=True, exec_order=1) |
| 156 | def check_dualroot(sp_layout, _, args :dict): |
| 157 | ''' Validate the amount of SPs from SiP and Platform owners. ''' |
| 158 | if not args.get("dualroot"): |
| 159 | return args |
| 160 | args["split"] = int(MAX_SP / 2) |
| 161 | owners = [sp_layout[sp].get("owner") for sp in sp_layout] |
| 162 | args["plat_max_count"] = owners.count("Plat") |
| 163 | # If it is owned by the platform owner, it is assigned to the SiP. |
| 164 | args["sip_max_count"] = len(sp_layout.keys()) - args["plat_max_count"] |
| 165 | if args["sip_max_count"] > args["split"] or args["sip_max_count"] > args["split"]: |
| 166 | print(f"WARN: SiP Secure Partitions should not be more than {args['split']}") |
| 167 | # Counters for gen_crt_args. |
| 168 | args["sip_count"] = 1 |
| 169 | args["plat_count"] = 1 |
| 170 | return args |
| 171 | |
| 172 | @SpSetupActions.sp_action |
| 173 | def gen_crt_args(sp_layout, sp, args :dict): |
| 174 | ''' Append CRT_ARGS. ''' |
| 175 | # If "dualroot" is configured, 'sp_pkg_idx' depends on whether the SP is owned |
| 176 | # by the "SiP" or the "Plat". |
| 177 | if args.get("dualroot"): |
| 178 | # If the owner is not specified as "Plat", default to "SiP". |
| 179 | if sp_layout[sp].get("owner") == "Plat": |
| 180 | if args["plat_count"] > args["plat_max_count"]: |
| 181 | raise ValueError("plat_count can't surpass plat_max_count in args.") |
| 182 | sp_pkg_idx = args["plat_count"] + args["split"] |
| 183 | args["plat_count"] += 1 |
| 184 | else: |
| 185 | if args["sip_count"] > args["sip_max_count"]: |
| 186 | raise ValueError("sip_count can't surpass sip_max_count in args.") |
| 187 | sp_pkg_idx = args["sip_count"] |
| 188 | args["sip_count"] += 1 |
| 189 | else: |
| 190 | sp_pkg_idx = [k for k in sp_layout.keys()].index(sp) + 1 |
| 191 | write_to_sp_mk_gen(f"CRT_ARGS += --sp-pkg{sp_pkg_idx} {get_sp_pkg(sp, args)}\n", args) |
| 192 | return args |
| 193 | |
| 194 | @SpSetupActions.sp_action |
| 195 | def gen_fiptool_args(sp_layout, sp, args :dict): |
| 196 | ''' Generate arguments for the FIP Tool. ''' |
| 197 | if "uuid" in sp_layout[sp]: |
| 198 | # Extract the UUID from the JSON file if the SP entry has a 'uuid' field |
| 199 | uuid_std = uuid.UUID(data[key]['uuid']) |
| 200 | else: |
| 201 | with open(get_sp_manifest_full_path(sp_layout[sp], args), "r") as pm_f: |
| 202 | uuid_lines = [l for l in pm_f if 'uuid' in l] |
| 203 | assert(len(uuid_lines) is 1) |
| 204 | # The uuid field in SP manifest is the little endian representation |
| 205 | # mapped to arguments as described in SMCCC section 5.3. |
| 206 | # Convert each unsigned integer value to a big endian representation |
| 207 | # required by fiptool. |
| 208 | uuid_parsed = re.findall("0x([0-9a-f]+)", uuid_lines[0]) |
| 209 | y = list(map(bytearray.fromhex, uuid_parsed)) |
| 210 | z = [int.from_bytes(i, byteorder='little', signed=False) for i in y] |
| 211 | uuid_std = uuid.UUID(f'{z[0]:08x}{z[1]:08x}{z[2]:08x}{z[3]:08x}') |
| 212 | write_to_sp_mk_gen(f"FIP_ARGS += --blob uuid={str(uuid_std)},file={get_sp_pkg(sp, args)}\n", args) |
| 213 | return args |
| 214 | |
| 215 | def init_sp_actions(sys): |
| 216 | sp_layout_file = os.path.abspath(sys.argv[2]) |
| 217 | with open(sp_layout_file) as json_file: |
| 218 | sp_layout = json.load(json_file) |
| 219 | # Initialize arguments for the SP actions framework |
| 220 | args = {} |
| 221 | args["sp_gen_mk"] = os.path.abspath(sys.argv[1]) |
| 222 | args["sp_layout_dir"] = os.path.dirname(sp_layout_file) |
| 223 | args["out_dir"] = os.path.abspath(sys.argv[3]) |
| 224 | args["dualroot"] = sys.argv[4] == "dualroot" |
| 225 | #Clear content of file "sp_gen.mk". |
| 226 | with open(args["sp_gen_mk"], "w"): |
| 227 | None |
| 228 | return args, sp_layout |
Ruari Phipps | 571ed6b | 2020-07-24 16:20:57 +0100 | [diff] [blame] | 229 | |
J-Alves | d10fb03 | 2022-03-21 14:11:43 +0000 | [diff] [blame] | 230 | if __name__ == "__main__": |
| 231 | args, sp_layout = init_sp_actions(sys) |
| 232 | SpSetupActions.run_actions(sp_layout, args) |