forked from bbcmicrobit/micropython
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathhexlifyscript.py
executable file
·48 lines (37 loc) · 1.46 KB
/
hexlifyscript.py
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
#!/usr/bin/env python3
'''
Turn a Python script into Intel HEX format to be concatenated at the
end of the MicroPython firmware.hex. A simple header is added to the
script.
To execute from command line: ./hexlifyscript.py <script.py>
It also accepts data on standard input.
'''
import struct
import binascii
import fileinput
IHEX_TYPE_DATA = 0
IHEX_TYPE_EXT_LIN_ADDR = 4
SCRIPT_ADDR = 0x3e000 # magic start address in flash of script
def make_ihex_record(addr, type, data):
record = struct.pack('>BHB', len(data), addr & 0xffff, type) + data
checksum = (-(sum(record))) & 0xff
return ':%s%02X' % (str(binascii.hexlify(record), 'utf8').upper(), checksum)
def hexlify_script(script):
# add header, pad to multiple of 16 bytes
data = b'MP' + struct.pack('<H', len(script)) + script
data = data + bytes(16 - len(data) % 16)
assert len(data) <= 0x2000
# convert to .hex format
output = []
addr = SCRIPT_ADDR
assert(SCRIPT_ADDR >> 16 == 3) # 0x0003 is hard coded in line below
output.append(make_ihex_record(0, IHEX_TYPE_EXT_LIN_ADDR, b'\x00\x03'))
for i in range(0, len(data), 16):
chunk = data[i:min(i + 16, len(data))]
output.append(make_ihex_record(addr, IHEX_TYPE_DATA, chunk))
addr += 16
return '\n'.join(output)
if __name__ == '__main__':
# read script from a file and print out the hexlified version
with fileinput.input(mode='rb') as lines:
print(hexlify_script(b''.join(lines)))