tools/tfm_parse_manifest_list.py

#-------------------------------------------------------------------------------
# Copyright (c) 2018-2021, Arm Limited. All rights reserved.
#
# SPDX-License-Identifier: BSD-3-Clause
#
#-------------------------------------------------------------------------------

import os
import io
import sys
import argparse
from jinja2 import Environment, BaseLoader, select_autoescape, TemplateNotFound

try:
    import yaml
except ImportError as e:
    print (str(e) + " To install it, type:")
    print ("pip install PyYAML")
    exit(1)

donotedit_warning = \
                    "/*********** " + \
                    "WARNING: This is an auto-generated file. Do not edit!" + \
                    " ***********/"

OUT_DIR = None # The root directory that files are generated to

# variable for checking for duplicated sid
sid_list = []
partition_list_sid = []
service_list = []
sid_duplicated_partition = []
sid_duplicated_sid = []
sid_duplicated_service = []

class TemplateLoader(BaseLoader):
    """
    Template loader class.

    An instance of this class is passed to the template engine. It is
    responsible for reading the template file
    """
    def __init__(self):
        pass

    def get_source(self, environment, template):
        """
        This function reads the template files.
        For detailed documentation see:
        http://jinja.pocoo.org/docs/2.10/api/#jinja2.BaseLoader.get_source

        Please note that this function always return 'false' as 'uptodate'
        value, so the output file will always be generated.
        """
        if not os.path.isfile(template):
            raise TemplateNotFound(template)
        with open(template) as f:
            source = f.read()
        return source, template, False

def manifest_validation(partition_manifest):
    """
    This function validates FF-M compliance for partition manifest, and sets
    default values for optional attributes.
    More validation items will be added.
    """
    # Service FF-M manifest validation
    if 'services' not in partition_manifest.keys():
        return partition_manifest

    for service in partition_manifest['services']:
        if 'version' not in service.keys():
            service['version'] = 1
        if 'version_policy' not in service.keys():
            service['version_policy'] = "STRICT"

        for k in range (len(sid_list)):
            sid_item = sid_list[k]
            if ((service['sid'] == sid_item) & (service['name'] != service_list[k])):
                sid_duplicated_partition.append(partition_list_sid[k])
                sid_duplicated_partition.append(partition_manifest['name'])
                sid_duplicated_sid.append(sid_item)
                sid_duplicated_sid.append(service['sid'])
                sid_duplicated_service.append(service_list[k])
                sid_duplicated_service.append(service['name'])

        sid_list.append(service['sid'])
        partition_list_sid.append(partition_manifest['name'])
        service_list.append(service['name'])

    return partition_manifest

def process_partition_manifests(manifest_list_files, extra_manifests_list):
    """
    Parse the input manifest, generate the data base for genereated files
    and generate manifest header files.

    Parameters
    ----------
    manifest_list_files:
        The manifest lists to parse.
    extra_manifests_list:
        The extra manifest list to parse and its original path.

    Returns
    -------
    The partition data base.
    """

    partition_list = []
    manifest_list = []
    ipc_partition_num = 0
    sfn_partition_num = 0
    pid_list = []
    no_pid_manifest_idx = []

    for f in manifest_list_files:
        with open(f) as manifest_list_yaml_file:
            manifest_dic = yaml.safe_load(manifest_list_yaml_file)
            manifest_list.extend(manifest_dic["manifest_list"])
            manifest_list_yaml_file.close()

    # Out-of-tree secure partition build
    if extra_manifests_list is not None:
        for i, item in enumerate(extra_manifests_list):
            # Skip if current item is the original manifest path
            if os.path.isdir(item):
                continue

            # The manifest list file generated by configure_file()
            with open(item) as manifest_list_yaml_file:
                manifest_dic = yaml.safe_load(manifest_list_yaml_file)
                extra_manifest_dic = manifest_dic["manifest_list"]
                for dict in extra_manifest_dic:
                    # Append original directory of out-of-tree partition's
                    # manifest list source code
                    dict['extra_path'] = extra_manifests_list[i + 1]
                    manifest_list.append(dict)
                manifest_list_yaml_file.close()

    for i, manifest_item in enumerate(manifest_list):
        # Check if partition ID is manually set
        if 'pid' not in manifest_item.keys():
            no_pid_manifest_idx.append(i)
        # Check if partition ID is duplicated
        elif manifest_item['pid'] in pid_list:
            raise Exception("PID No. {pid} has already been used!".format(pid=manifest_item['pid']))
        else:
            pid_list.append(manifest_item['pid'])

        # Replace environment variables in the manifest path
        manifest_path = os.path.expandvars(manifest_item['manifest'])

        # Handle out-of-tree secure partition manifest file path
        if 'extra_path' in manifest_item:
            if not os.path.isabs(manifest_path):
                # manifest file path provided by manifest list is relative to
                # manifest list path
                manifest_path = os.path.join(manifest_item['extra_path'], manifest_path).replace('\\', '/')

        file = open(manifest_path)
        manifest = manifest_validation(yaml.safe_load(file))
        file.close()

        # Count the number of IPC partitions
        if manifest["psa_framework_version"] == 1.1 and manifest["model"] == 'IPC':
            ipc_partition_num += 1
        elif manifest["psa_framework_version"] == 1.1 and manifest["model"] == 'SFN':
            sfn_partition_num += 1
        elif "services" in manifest.keys():
            ipc_partition_num += 1

        manifest_dir, manifest_name = os.path.split(manifest_path)
        manifest_out_basename = manifest_name.replace('.yaml', '').replace('.json', '')

        if 'output_path' in manifest_item:
            # Build up generated files directory accroding to the relative
            # path specified in output_path by the partition
            output_path = os.path.expandvars(manifest_item['output_path'])
            manifest_head_file = os.path.join(output_path, "psa_manifest", manifest_out_basename + '.h')
            intermedia_file = os.path.join(output_path, "auto_generated", 'intermedia_' + manifest_out_basename + '.c')
            load_info_file = os.path.join(output_path, "auto_generated", 'load_info_' + manifest_out_basename + '.c')
        else:
            manifest_head_file = os.path.join(manifest_dir, "psa_manifest", manifest_out_basename + '.h')
            intermedia_file = os.path.join(manifest_dir, "auto_generated", 'intermedia_' + manifest_out_basename + '.c')
            load_info_file = os.path.join(manifest_dir, "auto_generated", 'load_info_' + manifest_out_basename + '.c')

        manifest_head_file = os.path.join(OUT_DIR, manifest_head_file).replace('\\', '/')
        intermedia_file = os.path.join(OUT_DIR, intermedia_file).replace('\\', '/')
        load_info_file = os.path.join(OUT_DIR, load_info_file).replace('\\', '/')

        partition_list.append({"manifest": manifest, "attr": manifest_item,
                               "manifest_out_basename": manifest_out_basename,
                               "header_file": manifest_head_file,
                               "intermedia_file": intermedia_file,
                               "loadinfo_file": load_info_file})

    # Automatically assign PIDs for partitions without 'pid' attribute
    pid = 256
    for idx in no_pid_manifest_idx:
        while pid in pid_list:
            pid += 1
        manifest_list[idx]['pid'] = pid
        pid_list.append(pid)

    if len(sid_duplicated_sid) != 0:
        print("The following signals have duplicated sids."
              "A Service requires a unique sid")
        for i in range(len(sid_duplicated_sid)):
            print("Partition: {parti} , Service: {servi} , SID: {sidn}".format(
                  parti = sid_duplicated_partition[i],
                  servi = sid_duplicated_service[i],
                  sidn = sid_duplicated_sid[i])
                 )

        raise Exception("Duplicated SID found, check above for details")

    return partition_list, ipc_partition_num, sfn_partition_num

def gen_per_partition_files(context):
    """
    Generate per-partition files

    Parameters
    ----------
    context:
        context contains partition infos
    """

    subutilities = {}
    subutilities['donotedit_warning'] = donotedit_warning

    subcontext = {}
    subcontext['utilities'] = subutilities

    manifesttemplate = ENV.get_template(os.path.join(os.path.relpath(os.path.dirname(__file__)), 'templates/manifestfilename.template'))
    memorytemplate = ENV.get_template(os.path.join(os.path.relpath(os.path.dirname(__file__)), 'templates/partition_intermedia.template'))
    infotemplate = ENV.get_template(os.path.join(os.path.relpath(os.path.dirname(__file__)), 'templates/partition_load_info.template'))

    print ("Start to generate partition files:")

    for one_partition in context['partitions']:
        subcontext['manifest'] = one_partition['manifest']
        subcontext['attr'] = one_partition['attr']
        subcontext['manifest_out_basename'] = one_partition['manifest_out_basename']

        print ("Generating Header: " + one_partition['header_file'])
        outfile_path = os.path.dirname(one_partition['header_file'])
        if not os.path.exists(outfile_path):
            os.makedirs(outfile_path)

        headerfile = io.open(one_partition['header_file'], "w", newline=None)
        headerfile.write(manifesttemplate.render(subcontext))
        headerfile.close()

        print ("Generating Intermedia: " + one_partition['intermedia_file'])
        intermediafile_path = os.path.dirname(one_partition['intermedia_file'])
        if not os.path.exists(intermediafile_path):
            os.makedirs(intermediafile_path)
        intermediafile = io.open(one_partition['intermedia_file'], "w", newline=None)
        intermediafile.write(memorytemplate.render(subcontext))
        intermediafile.close()

        print ("Generating Loadinfo: " + one_partition['loadinfo_file'])
        infofile_path = os.path.dirname(one_partition['loadinfo_file'])
        if not os.path.exists(infofile_path):
            os.makedirs(infofile_path)
        infooutfile = io.open(one_partition['loadinfo_file'], "w", newline=None)
        infooutfile.write(infotemplate.render(subcontext))
        infooutfile.close()

    print ("Per-partition files done:")

def gen_summary_files(context, gen_file_lists):
    """
    Generate files according to the gen_file_list

    Parameters
    ----------
    gen_file_lists:
        The lists of files to generate
    """
    file_list = []

    for f in gen_file_lists:
        with open(f) as file_list_yaml_file:
            file_list_yaml = yaml.safe_load(file_list_yaml_file)
            file_list.extend(file_list_yaml["file_list"])

    print("Start to generate file from the generated list:")
    for file in file_list:
        # Replace environment variables in the output filepath
        manifest_out_file = os.path.expandvars(file["output"])
        # Replace environment variables in the template filepath
        templatefile_name = os.path.expandvars(file["template"])

        manifest_out_file = os.path.join(OUT_DIR, manifest_out_file)

        print ("Generating " + manifest_out_file)

        outfile_path = os.path.dirname(manifest_out_file)
        if not os.path.exists(outfile_path):
            os.makedirs(outfile_path)

        template = ENV.get_template(templatefile_name)

        outfile = io.open(manifest_out_file, "w", newline=None)
        outfile.write(template.render(context))
        outfile.close()

    print ("Generation of files done")

def process_stateless_services(partitions, stateless_index_max_num):
    """
    This function collects all stateless services together, and allocates
    stateless handles for them.
    Valid stateless handle in service will be converted to an index. If the
    stateless handle is set as "auto", or not set, framework will allocate a
    valid index for the service.
    Framework puts each service into a reordered stateless service list at
    position of "index". Other unused positions are left None.
    """
    collected_stateless_services = []

    # Collect all stateless services first.
    for partition in partitions:
        # Skip the FF-M 1.0 partitions
        if partition['manifest']['psa_framework_version'] < 1.1:
            continue
        for service in partition['manifest']['services']:
            if 'connection_based' not in service:
                raise Exception("'connection_based' is mandatory in FF-M 1.1 service!")
            if service['connection_based'] is False:
                collected_stateless_services.append(service)

    if len(collected_stateless_services) == 0:
        return []

    if len(collected_stateless_services) > stateless_index_max_num:
        raise Exception("Stateless service numbers range exceed {number}.".format(number=stateless_index_max_num))

    """
    Allocate an empty stateless service list to store services.
    Use "handle - 1" as the index for service, since handle value starts from
    1 and list index starts from 0.
    """
    reordered_stateless_services = [None] * stateless_index_max_num
    auto_alloc_services = []

    for service in collected_stateless_services:
        # If not set, it is "auto" by default
        if 'stateless_handle' not in service:
            auto_alloc_services.append(service)
            continue

        service_handle = service['stateless_handle']

        # Fill in service list with specified stateless handle, otherwise skip
        if isinstance(service_handle, int):
            if service_handle < 1 or service_handle > stateless_index_max_num:
                raise Exception("Invalid stateless_handle setting: {handle}.".format(handle=service['stateless_handle']))
            # Convert handle index to reordered service list index
            service_handle = service_handle - 1

            if reordered_stateless_services[service_handle] is not None:
                raise Exception("Duplicated stateless_handle setting: {handle}.".format(handle=service['stateless_handle']))
            reordered_stateless_services[service_handle] = service
        elif service_handle == 'auto':
            auto_alloc_services.append(service)
        else:
            raise Exception("Invalid stateless_handle setting: {handle}.".format(handle=service['stateless_handle']))

    # Auto-allocate stateless handle and encode the stateless handle
    for i in range(0, stateless_index_max_num):
        service = reordered_stateless_services[i]

        if service == None and len(auto_alloc_services) > 0:
            service = auto_alloc_services.pop(0)

        """
        Encode stateless flag and version into stateless handle
        bit 30: stateless handle indicator
        bit 15-8: stateless service version
        bit 7-0: stateless handle index
        """
        stateless_handle_value = 0
        if service != None:
            stateless_index = (i & 0xFF)
            stateless_handle_value |= stateless_index
            stateless_flag = 1 << 30
            stateless_handle_value |= stateless_flag
            stateless_version = (service['version'] & 0xFF) << 8
            stateless_handle_value |= stateless_version
            service['stateless_handle_value'] = '0x{0:08x}'.format(stateless_handle_value)
            service['stateless_handle_index'] = stateless_index

        reordered_stateless_services[i] = service

    return reordered_stateless_services

def parse_args():
    parser = argparse.ArgumentParser(description='Parse secure partition manifest list and generate files listed by the file list',
                                     epilog='Note that environment variables in template files will be replaced with their values')

    parser.add_argument('-o', '--outdir'
                        , dest='outdir'
                        , required=True
                        , metavar='out_dir'
                        , help='The root directory for generated files')

    parser.add_argument('-m', '--manifest'
                        , nargs='+'
                        , dest='manifest_args'
                        , required=True
                        , metavar='manifest'
                        , help='A set of secure partition manifest lists to parse')

    parser.add_argument('-f', '--file-list'
                        , nargs='+'
                        , dest='gen_file_args'
                        , required=True
                        , metavar='file-list'
                        , help='These files descripe the file list to generate')

    parser.add_argument('-e', '--extra-manifest'
                        , nargs='*'
                        , dest='extra_manifests_args'
                        , required=False
                        , default=None
                        , metavar='out-of-tree-manifest-list'
                        , help='Optional. Manifest lists and original paths for out-of-tree secure partitions.')

    args = parser.parse_args()
    manifest_args = args.manifest_args
    gen_file_args = args.gen_file_args

    return args

ENV = Environment(
        loader = TemplateLoader(),
        autoescape = select_autoescape(['html', 'xml']),
        lstrip_blocks = True,
        trim_blocks = True,
        keep_trailing_newline = True
    )

def main():
    """
    The entry point of the script.

    Generates the output files based on the templates and the manifests.
    """

    global OUT_DIR

    args = parse_args()

    manifest_args = args.manifest_args
    gen_file_args = args.gen_file_args
    extra_manifests_args = args.extra_manifests_args
    OUT_DIR = args.outdir

    manifest_list = [os.path.abspath(x) for x in args.manifest_args]
    gen_file_list = [os.path.abspath(x) for x in args.gen_file_args]

    if extra_manifests_args is not None:
        extra_manifests_list = [os.path.abspath(x) for x in extra_manifests_args]
    else:
        extra_manifests_list = None

    """
    Relative path to TF-M root folder is supported in the manifests
    and default value of manifest list and generated file list are relative to TF-M root folder as well,
    so first change directory to TF-M root folder.
    By doing this, the script can be executed anywhere
    The script is located in <TF-M root folder>/tools, so sys.path[0]<location of the script>/.. is TF-M root folder.
    """
    os.chdir(os.path.join(sys.path[0], ".."))

    partition_list, ipc_partition_num, sfn_partition_num = process_partition_manifests(manifest_list, extra_manifests_list)

    utilities = {}
    utilities['donotedit_warning'] = donotedit_warning

    context = {}
    context['partitions'] = partition_list
    context['utilities'] = utilities
    context['stateless_services'] = process_stateless_services(partition_list, 32)

    context['ipc_partition_num'] = ipc_partition_num
    context['sfn_partition_num'] = sfn_partition_num

    gen_per_partition_files(context)
    gen_summary_files(context, gen_file_list)

if __name__ == "__main__":
    main()