Michael Steil
Results
22
comments of
Michael Steil
These are actually `.hex` files (and should be named such), and we should use `srecord` to convert them to `.bin`. See https://www.pagetable.com/?p=894
This script does the bulk of the conversion: ```python import sys def process_file(filename): with open(filename, 'rb') as f: for line in f: processed = [] for c in line: if...