| 1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071 |
- #!/usr/bin/env python3
- #
- # Copyright (c) 2017 Intel Corporation
- #
- # SPDX-License-Identifier: Apache-2.0
- """Convert a file to a list of hex characters
- The list of hex characters can then be included to a source file. Optionally,
- the output can be compressed.
- """
- import argparse
- import codecs
- import gzip
- import io
- def parse_args():
- global args
- parser = argparse.ArgumentParser(
- description=__doc__,
- formatter_class=argparse.RawDescriptionHelpFormatter)
- parser.add_argument("-f", "--file", required=True, help="Input file")
- parser.add_argument("-g", "--gzip", action="store_true",
- help="Compress the file using gzip before output")
- parser.add_argument("-t", "--gzip-mtime", type=int, default=0,
- nargs='?', const=None,
- help="""mtime seconds in the gzip header.
- Defaults to zero to keep builds deterministic. For
- current date and time (= "now") use this option
- without any value.""")
- args = parser.parse_args()
- def get_nice_string(list_or_iterator):
- return ", ".join("0x" + str(x) for x in list_or_iterator)
- def make_hex(chunk):
- hexdata = codecs.encode(chunk, 'hex').decode("utf-8")
- hexlist = map(''.join, zip(*[iter(hexdata)] * 2))
- print(get_nice_string(hexlist) + ',')
- def main():
- parse_args()
- if args.gzip:
- with io.BytesIO() as content:
- with open(args.file, 'rb') as fg:
- with gzip.GzipFile(fileobj=content, mode='w',
- mtime=args.gzip_mtime,
- compresslevel=9) as gz_obj:
- gz_obj.write(fg.read())
- content.seek(0)
- for chunk in iter(lambda: content.read(8), b''):
- make_hex(chunk)
- else:
- with open(args.file, "rb") as fp:
- for chunk in iter(lambda: fp.read(8), b''):
- make_hex(chunk)
- if __name__ == "__main__":
- main()
|
