mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2024-12-29 04:50:03 +01:00
4a31f94cfc
Signed-off-by: Francois Berder <18538310+francois-berder@users.noreply.github.com>
70 lines
2.3 KiB
Bash
Executable File
70 lines
2.3 KiB
Bash
Executable File
#!/bin/sh
|
|
#
|
|
# Flash configuration field check script for Freescale Kinetis MCUs.
|
|
#
|
|
# This script is supposed to be called from RIOTs
|
|
# unified OpenOCD script (dist/tools/openocd/openocd.sh).
|
|
#
|
|
# Syntax: check-fcfield.sh $FLASHFILE
|
|
#
|
|
# @author Jonas Remmert <j.remmert@phytec.de>
|
|
# @author Johann Fischer <j.fischer@phytec.de>
|
|
# @author Joakim Nohlgård <joakim.nohlgard@eistec.se>
|
|
# @author Francisco Molina <francisco.molina@inria.fr>
|
|
|
|
: ${OBJDUMP:=arm-none-eabi-objdump}
|
|
|
|
# elf, hex or bin file to flash
|
|
FLASHFILE="$1"
|
|
|
|
# FCFIELD goes from 0x400-0x40f
|
|
FCFIELD_START='0x400'
|
|
FCFIELD_END='0x410'
|
|
FCFIELD_AWK_REGEX='^ 0400 '
|
|
|
|
# The following fcfield places the flash in a unsecure state which is the default
|
|
# FCF code for Freescale Kinetis MCUs, see /cpu/kinetis/fcfield.c.
|
|
EXPECTED_FCFIELD="^fffffffffffffffffffffffffe..ffff$"
|
|
|
|
get_fc_field()
|
|
{
|
|
if [ ${1##*.} = elf ]; then
|
|
"${OBJDUMP}" -j.fcfield -s "${1}"
|
|
elif [ ${1##*.} = bin ]; then
|
|
"${OBJDUMP}" --start-address=${FCFIELD_START} --stop-address=${FCFIELD_END} -bbinary -marm ${1} -s
|
|
elif [ ${1##*.} = hex ]; then
|
|
"${OBJDUMP}" --start-address=${FCFIELD_START} --stop-address=${FCFIELD_END} ${1} -s
|
|
else
|
|
echo "Unknown file extension: ${1##*.}"
|
|
exit 1
|
|
fi
|
|
}
|
|
|
|
filter_fc_field()
|
|
{
|
|
get_fc_field "${1}" | awk -F' ' "/${2}/ { print \$2 \$3 \$4 \$5; }"
|
|
}
|
|
|
|
if [ $# -ne 1 ]; then
|
|
echo "Usage: $0 FLASHFILE"
|
|
echo "Checks the flash configuration field protection bits to avoid flashing a locked image to a Kinetis MCU (protection against accidental bricking)."
|
|
exit 2
|
|
fi
|
|
|
|
if [ $(printf '%d' "${IMAGE_OFFSET}") -ge $(printf '%d' "${FCFIELD_END}") ]; then
|
|
echo "Value in fcfield is not checked when flashing at \$IMAGE_OFFSET >= 0x410"
|
|
exit 0
|
|
elif [ 0 -lt $(printf '%d' "${IMAGE_OFFSET}") ] && [ $(printf '%d' "${IMAGE_OFFSET}") -lt $(printf '%d' "${FCFIELD_END}") ]; then
|
|
echo "Error: flashing with 0 < \$IMAGE_OFFSET < 0x410 is currently not handled"
|
|
exit 1
|
|
elif ! filter_fc_field ${FLASHFILE} ${FCFIELD_AWK_REGEX} | grep -q "${EXPECTED_FCFIELD}"; then
|
|
echo "Danger of bricking the device during flash!"
|
|
echo "Flash configuration field of ${FLASHFILE}:"
|
|
get_fc_field ${FLASHFILE}
|
|
echo "Abort flash procedure!"
|
|
exit 1
|
|
fi
|
|
|
|
echo "${FLASHFILE} is not locked."
|
|
exit 0
|