optee_os/scripts/ts_bin_to_c.py

2 # SPDX-License-Identifier: BSD-2-Clause
5 # Copyright (c) 2020-2023, Arm Limited.
25     parser.add_argument('--out', required=True,
29         '--ta',
32         'such as: 8aaaf200-2450-11e4-abe2-0002a5d5c51b.stripped.elf')
35         '--sp',
38         'such as: 8aaaf200-2450-11e4-abe2-0002a5d5c51b.stripped.elf')
41         '--compress',
48         '--manifest',
75                         offs = s2.header['sh_offset'] - s2.header['sh_addr']
121             f.write('\n')
132         raise Exception('The --ta or the --sp flag is required')
135         raise Exception('The --ta and the --sp can\'t be combined')
149             os.path.basename(__file__) + ' */\n\n')
150     f.write('#include <kernel/embedded_ts.h>\n\n')
151     f.write('#include <scattered_array.h>\n\n')
152     f.write('const uint8_t ts_bin_' + ts_uuid.hex + '[] = {\n')
154     f.write('};\n')
158         f.write('#include <kernel/secure_partition.h>\n\n')
159         f.write('const uint8_t fdt_bin_' + ts_uuid.hex + '[] = {\n')
161         f.write('};\n')
163                 sp_image) = {\n')
164         f.write('\t.fdt = fdt_bin_' + ts_uuid.hex + ',\n')
167         f.write('\t.flags = 0x{:04x},\n'.format(sp_get_flags(ts)))
170                 embedded_ts) = {\n')
171         f.write('\t.flags = 0x{:04x},\n'.format(ta_get_flags(ts)))
172     f.write('\t.uuid = {\n')
173     f.write('\t\t.timeLow = 0x{:08x},\n'.format(ts_uuid.time_low))
174     f.write('\t\t.timeMid = 0x{:04x},\n'.format(ts_uuid.time_mid))
176             '0x{:04x},\n'.format(ts_uuid.time_hi_version))
177     f.write('\t\t.clockSeqAndNode = {\n')
182     f.write('\n\t\t},\n\t},\n')
184             '), /* {:d} */\n'.format(ts_size))
185     f.write('\t.ts = ts_bin_' + ts_uuid.hex + ',\n')
188                 '{:d},\n'.format(ts_uncompressed_size))
190         f.write('}\n')
191     f.write('};\n')