Lee Kai Xuan
mbed-os
Fork of
mbed-os
by 
erkin yucel
Diff: tools/add_fib.py
- Revision:
- 0:f269e3021894
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/tools/add_fib.py Sun Oct 23 15:10:02 2016 +0000
@@ -0,0 +1,158 @@
+"""
+@copyright (c) 2012 ON Semiconductor. All rights reserved.
+ON Semiconductor is supplying this software for use with ON Semiconductor
+processor based microcontrollers only.
+THIS SOFTWARE IS PROVIDED "AS IS". NO WARRANTIES, WHETHER EXPRESS, IMPLIED
+OR STATUTORY, INCLUDING, BUT NOT LIMITED TO, IMPLIED WARRANTIES OF
+MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE APPLY TO THIS SOFTWARE.
+ON SEMICONDUCTOR SHALL NOT, IN ANY CIRCUMSTANCES, BE LIABLE FOR SPECIAL,
+INCIDENTAL, OR CONSEQUENTIAL DAMAGES, FOR ANY REASON WHATSOEVER.
+"""
+
+from __future__ import absolute_import
+from __future__ import print_function
+
+import itertools
+import binascii
+import intelhex
+
+FIB_BASE = 0x2000
+FLASH_BASE = 0x3000
+FW_REV = 0x01000100
+def ranges(i):
+ for _, b in itertools.groupby(enumerate(i), lambda x_y: x_y[1] - x_y[0]):
+ b = list(b)
+ yield b[0][1], b[-1][1]
+
+
+def add_fib_at_start(arginput):
+ input_file = arginput + ".bin"
+ file_name_hex = arginput + "_fib.hex"
+ file_name_bin = arginput + ".bin"
+
+ # Read in hex file
+ input_hex_file = intelhex.IntelHex()
+ input_hex_file.padding = 0x00
+ input_hex_file.loadbin(input_file, offset=FLASH_BASE)
+
+ output_hex_file = intelhex.IntelHex()
+ output_hex_file.padding = 0x00
+
+ # Get the starting and ending address
+ addresses = input_hex_file.addresses()
+ addresses.sort()
+ start_end_pairs = list(ranges(addresses))
+ regions = len(start_end_pairs)
+
+ if regions == 1:
+ start, end = start_end_pairs[0]
+ else:
+ start = min(min(start_end_pairs))
+ end = max(max(start_end_pairs))
+
+ assert start >= FLASH_BASE, ("Error - start 0x%x less than begining of user\
+ flash area" %start)
+ # Compute checksum over the range (don't include data at location of crc)
+ size = end - start + 1
+ data = input_hex_file.tobinarray(start=start, size=size)
+ crc32 = binascii.crc32(data) & 0xFFFFFFFF
+
+ fw_rev = FW_REV
+
+ checksum = (start + size + crc32 + fw_rev) & 0xFFFFFFFF
+
+ print("Writing FIB: base 0x%08X, size 0x%08X, crc32 0x%08X, fw rev 0x%08X,\
+ checksum 0x%08X" % (start, size, crc32, fw_rev, checksum))
+
+#expected initial values used by daplink to validate that it is a valid bin
+#file added as dummy values in this file because the fib area preceeds the
+#application area the bootloader will ignore these dummy values
+# 00 is stack pointer (RAM address)
+# 04 is Reset vector (FLASH address)
+# 08 NMI_Handler (FLASH address)
+# 0C HardFault_Handler(FLASH address)
+# 10 dummy
+ dummy_sp = 0x3FFFFC00
+ dummy_reset_vector = 0x00003625
+ dummy_nmi_handler = 0x00003761
+ dummy_hardfault_handler = 0x00003691
+ dummy_blank = 0x00000000
+
+#expected fib structure
+#typedef struct fib{
+ #uint32_t base; /**< Base offset of firmware, indicating what flash the
+ # firmware is in. (will never be 0x11111111) */
+ #uint32_t size; /**< Size of the firmware */
+ #uint32_t crc; /**< CRC32 for firmware correctness check */
+ #uint32_t rev; /**< Revision number */
+ #uint32_t checksum; /**< Check-sum of information block */
+#}fib_t, *fib_pt;
+
+ fib_start = FIB_BASE
+ dummy_fib_size = 20
+ fib_size = 20
+ user_code_start = FLASH_BASE
+
+ # Write FIB to the file in little endian
+ output_hex_file[fib_start + 0] = (dummy_sp >> 0) & 0xFF
+ output_hex_file[fib_start + 1] = (dummy_sp >> 8) & 0xFF
+ output_hex_file[fib_start + 2] = (dummy_sp >> 16) & 0xFF
+ output_hex_file[fib_start + 3] = (dummy_sp >> 24) & 0xFF
+
+ output_hex_file[fib_start + 4] = (dummy_reset_vector >> 0) & 0xFF
+ output_hex_file[fib_start + 5] = (dummy_reset_vector >> 8) & 0xFF
+ output_hex_file[fib_start + 6] = (dummy_reset_vector >> 16) & 0xFF
+ output_hex_file[fib_start + 7] = (dummy_reset_vector >> 24) & 0xFF
+
+ output_hex_file[fib_start + 8] = (dummy_nmi_handler >> 0) & 0xFF
+ output_hex_file[fib_start + 9] = (dummy_nmi_handler >> 8) & 0xFF
+ output_hex_file[fib_start + 10] = (dummy_nmi_handler >> 16) & 0xFF
+ output_hex_file[fib_start + 11] = (dummy_nmi_handler >> 24) & 0xFF
+
+ output_hex_file[fib_start + 12] = (dummy_hardfault_handler >> 0) & 0xFF
+ output_hex_file[fib_start + 13] = (dummy_hardfault_handler >> 8) & 0xFF
+ output_hex_file[fib_start + 14] = (dummy_hardfault_handler >> 16) & 0xFF
+ output_hex_file[fib_start + 15] = (dummy_hardfault_handler >> 24) & 0xFF
+
+ output_hex_file[fib_start + 16] = (dummy_blank >> 0) & 0xFF
+ output_hex_file[fib_start + 17] = (dummy_blank >> 8) & 0xFF
+ output_hex_file[fib_start + 18] = (dummy_blank >> 16) & 0xFF
+ output_hex_file[fib_start + 19] = (dummy_blank >> 24) & 0xFF
+
+ # Write FIB to the file in little endian
+ output_hex_file[fib_start + 20] = (start >> 0) & 0xFF
+ output_hex_file[fib_start + 21] = (start >> 8) & 0xFF
+ output_hex_file[fib_start + 22] = (start >> 16) & 0xFF
+ output_hex_file[fib_start + 23] = (start >> 24) & 0xFF
+
+ output_hex_file[fib_start + 24] = (size >> 0) & 0xFF
+ output_hex_file[fib_start + 25] = (size >> 8) & 0xFF
+ output_hex_file[fib_start + 26] = (size >> 16) & 0xFF
+ output_hex_file[fib_start + 27] = (size >> 24) & 0xFF
+
+ output_hex_file[fib_start + 28] = (crc32 >> 0) & 0xFF
+ output_hex_file[fib_start + 29] = (crc32 >> 8) & 0xFF
+ output_hex_file[fib_start + 30] = (crc32 >> 16) & 0xFF
+ output_hex_file[fib_start + 31] = (crc32 >> 24) & 0xFF
+
+ output_hex_file[fib_start + 32] = (fw_rev >> 0) & 0xFF
+ output_hex_file[fib_start + 33] = (fw_rev >> 8) & 0xFF
+ output_hex_file[fib_start + 34] = (fw_rev >> 16) & 0xFF
+ output_hex_file[fib_start + 35] = (fw_rev >> 24) & 0xFF
+
+ output_hex_file[fib_start + 36] = (checksum >> 0) & 0xFF
+ output_hex_file[fib_start + 37] = (checksum >> 8) & 0xFF
+ output_hex_file[fib_start + 38] = (checksum >> 16) & 0xFF
+ output_hex_file[fib_start + 39] = (checksum >> 24) & 0xFF
+
+ #pad the rest of the file
+ for i in range(fib_start + dummy_fib_size + fib_size, user_code_start):
+ output_hex_file[i] = 0xFF
+
+ #merge two hex files
+ output_hex_file.merge(input_hex_file, overlap='error')
+
+ # Write out file(s)
+ output_hex_file.tofile(file_name_hex, 'hex')
+ output_hex_file.tofile(file_name_bin, 'bin')
+
\ No newline at end of file