make_flash_header.py

专业汽车级嵌入式操作系统OSEK的源代码

#!/usr/bin/env python
#
# Take the flash_routine.bin file, and embed it as an array of bytes
# in a flash_routine.h, ready for packaging with the C firmware
# flasher.
#
# If a file name is provided on the commandline, load that file as the
# firmware flashing routine instead.
#

from sys import argv

if len(argv) == 2:
    fname = argv[1]
else:
    fname = 'flash_write/flash.bin'

fwbin = file(fname)

# Build the char representation in memory

def char_by_char(f):
    while True:
        d = f.read(1)
        if d == '':
            raise StopIteration
        yield d

data = []
for c in char_by_char(fwbin):
    data.append("0x%s" % c.encode('hex'))

for i in range(0, len(data), 12):
    data[i] = "\n" + data[i]

data_str = ', '.join(data)
len_data = "0x%X" % len(data)

# Read in the template
tplfile = file('flash_routine.h.base')
template = tplfile.read()
tplfile.close()

# Replace the values in the template
template = template.replace('___FLASH_BIN___', data_str)
template = template.replace('___FLASH_LEN___', len_data)

# Output the done header
out = file('flash_routine.h', 'w')
out.write(template)
out.close()