blob: 32350a47efb846916b952df2d8e60d0f02f40096 [file] [log] [blame]
Jens Wiklander8f7de3f2014-12-04 08:04:01 +01001#!/usr/bin/env python
Jerome Forissier1bb92982017-12-15 14:27:02 +01002# SPDX-License-Identifier: BSD-2-Clause
Jens Wiklander8f7de3f2014-12-04 08:04:01 +01003#
Summer Qinac3cc6c2017-04-18 13:59:03 +01004# Copyright (c) 2014-2017, Linaro Limited
Jens Wiklander8f7de3f2014-12-04 08:04:01 +01005#
Jens Wiklander8f7de3f2014-12-04 08:04:01 +01006
7import argparse
8import sys
9import shutil
10import os
11import struct
12import hashlib
13
Jerome Forissier7a976652015-05-06 17:23:50 +020014arch_id = {'arm32': 0, 'arm64': 1}
Summer Qinac3cc6c2017-04-18 13:59:03 +010015image_id = {'pager': 0, 'paged': 1}
Jens Wiklander8f7de3f2014-12-04 08:04:01 +010016
Summer Qinac3cc6c2017-04-18 13:59:03 +010017def write_header_v1(outf, init_size, args, paged_size):
Jens Wiklander8f7de3f2014-12-04 08:04:01 +010018 magic = 0x4554504f # 'OPTE'
19 version = 1;
20 outf.write(struct.pack('<IBBHIIIII', \
Jerome Forissier7a976652015-05-06 17:23:50 +020021 magic, version, arch_id[args.arch], args.flags, init_size, \
Jens Wiklander8f7de3f2014-12-04 08:04:01 +010022 args.init_load_addr_hi, args.init_load_addr_lo, \
23 args.init_mem_usage, paged_size))
Summer Qinac3cc6c2017-04-18 13:59:03 +010024
25def write_header_v2(outf, init_size, args, paged_size):
26 magic = 0x4554504f # 'OPTE'
27 version = 2
28 nb_images = 1 if paged_size == 0 else 2
29 outf.write(struct.pack('<IBBHI', \
30 magic, version, arch_id[args.arch], args.flags, nb_images))
31 outf.write(struct.pack('<IIII', \
32 args.init_load_addr_hi, args.init_load_addr_lo, \
33 image_id['pager'], init_size))
34 if nb_images == 2:
35 outf.write(struct.pack('<IIII', \
36 0xffffffff, 0xffffffff, image_id['paged'], paged_size))
Jens Wiklander8f7de3f2014-12-04 08:04:01 +010037
38def append_to(outf, start_offs, in_fname, max_bytes=0xffffffff):
39 #print "Appending %s@0x%x 0x%x bytes at position 0x%x" % \
40 #( in_fname, start_offs, max_bytes, int(outf.tell()) )
Joakim Bech47805ee2016-07-29 17:48:39 +020041 inf = open(in_fname, 'rb');
Jens Wiklander8f7de3f2014-12-04 08:04:01 +010042 inf.seek(start_offs)
43 while True :
44 nbytes = min(16 * 1024, max_bytes)
45 if nbytes == 0 :
46 break
47 #print "Reading %s %d bytes" % (in_fname, nbytes)
48 buf = inf.read(nbytes)
49 if not buf :
50 break
51 outf.write(buf)
52 max_bytes -= len(buf)
53 inf.close()
54
55def append_hashes(outf, in_fname):
56 page_size = 4 * 1024
57
58 inf = open(in_fname, 'r')
59 while True :
60 page = inf.read(page_size)
61 if len(page) == page_size :
62 #print "Writing hash at position 0x%x" % \
63 #int(outf.tell())
64 outf.write(hashlib.sha256(page).digest())
65 elif len(page) == 0 :
66 break
67 else :
Joakim Bech47805ee2016-07-29 17:48:39 +020068 print("Error: short read, got " + repr(len(page)))
Jens Wiklander8f7de3f2014-12-04 08:04:01 +010069 sys.exit(1)
70
71 inf.close()
72
73def int_parse(str):
74 return int(str, 0)
75
76def get_args():
77 parser = argparse.ArgumentParser()
78 parser.add_argument('--arch', required=True, \
Jerome Forissier7a976652015-05-06 17:23:50 +020079 choices=arch_id.keys(), \
80 help='Architecture')
Jens Wiklander8f7de3f2014-12-04 08:04:01 +010081
82 parser.add_argument('--flags', \
83 type=int, default=0, \
84 help='Flags, currently none defined')
85
86 parser.add_argument('--init_size', \
87 required=True, type=int_parse, \
88 help='Size of initialization part of binary')
89
90 parser.add_argument('--init_load_addr_hi', \
91 type=int_parse, default=0, \
92 help='Upper 32 bits of load address of binary')
93
94 parser.add_argument('--init_load_addr_lo', \
95 required=True, type=int_parse, \
96 help='Lower 32 bits of load address of binary')
97
98 parser.add_argument('--init_mem_usage', \
99 required=True, type=int_parse, \
100 help='Total amount of used memory when initializing');
101
102 parser.add_argument('--tee_pager_bin', \
103 required=True, \
104 help='The input tee_pager.bin')
105
Jerome Forissier30ca3222015-03-18 15:01:52 +0100106 parser.add_argument('--tee_pageable_bin', \
Jens Wiklander8f7de3f2014-12-04 08:04:01 +0100107 required=True, \
Jerome Forissier30ca3222015-03-18 15:01:52 +0100108 help='The input tee_pageable.bin')
Jens Wiklander8f7de3f2014-12-04 08:04:01 +0100109
110 parser.add_argument('--out', \
Summer Qinac3cc6c2017-04-18 13:59:03 +0100111 required=False, type=argparse.FileType('wb'), \
Jens Wiklander8f7de3f2014-12-04 08:04:01 +0100112 help='The output tee.bin')
113
Summer Qinac3cc6c2017-04-18 13:59:03 +0100114 parser.add_argument('--out_header_v2', \
115 required=False, type=argparse.FileType('wb'), \
116 help='The output tee_header_v2.bin')
117
118 parser.add_argument('--out_pager_v2', \
119 required=False, type=argparse.FileType('wb'), \
120 help='The output tee_pager_v2.bin')
121
122 parser.add_argument('--out_pageable_v2', \
123 required=False, type=argparse.FileType('wb'), \
124 help='The output tee_pageable_v2.bin')
125
Jens Wiklander8f7de3f2014-12-04 08:04:01 +0100126 return parser.parse_args();
127
128def main():
129 args = get_args()
Jerome Forissier30ca3222015-03-18 15:01:52 +0100130 init_bin_size = args.init_size
131 tee_pager_fname = args.tee_pager_bin
132 tee_pageable_fname = args.tee_pageable_bin
Summer Qinac3cc6c2017-04-18 13:59:03 +0100133 pager_input_size = os.path.getsize(tee_pager_fname);
134 paged_input_size = os.path.getsize(tee_pageable_fname);
135 hash_size = paged_input_size / (4 * 1024) * \
136 hashlib.sha256().digest_size
Jens Wiklander8f7de3f2014-12-04 08:04:01 +0100137
Summer Qinac3cc6c2017-04-18 13:59:03 +0100138 if paged_input_size % (4 * 1024) != 0:
139 print("Error: pageable size not a multiple of 4K:" + \
140 repr(paged_input_size))
141 sys.exit(1)
Jens Wiklander8f7de3f2014-12-04 08:04:01 +0100142
Summer Qinac3cc6c2017-04-18 13:59:03 +0100143 init_size = pager_input_size + \
144 min(init_bin_size, paged_input_size) + \
145 hash_size
146 paged_size = paged_input_size - \
147 min(init_bin_size, paged_input_size)
Jens Wiklander8f7de3f2014-12-04 08:04:01 +0100148
Summer Qinac3cc6c2017-04-18 13:59:03 +0100149 if args.out is not None:
150 outf = args.out
151 write_header_v1(outf, init_size, args, paged_size)
152 append_to(outf, 0, tee_pager_fname)
153 append_to(outf, 0, tee_pageable_fname, init_bin_size)
154 append_hashes(outf, tee_pageable_fname)
155 append_to(outf, init_bin_size, tee_pageable_fname)
156 outf.close()
157
158 if args.out_header_v2 is not None:
159 outf = args.out_header_v2
160 write_header_v2(outf, init_size, args, paged_size)
161 outf.close()
162
163 if args.out_pager_v2 is not None:
164 outf = args.out_pager_v2
165 append_to(outf, 0, tee_pager_fname)
166 append_to(outf, 0, tee_pageable_fname, init_bin_size)
167 append_hashes(outf, tee_pageable_fname)
168 outf.close()
169
170 if args.out_pageable_v2 is not None:
171 outf = args.out_pageable_v2
172 append_to(outf, init_bin_size, tee_pageable_fname)
173 outf.close()
Jens Wiklander8f7de3f2014-12-04 08:04:01 +0100174
175if __name__ == "__main__":
176 main()