1#!/bin/sh 2 3OBJDUMP=$1 4IMAGE_FILE=$2 5BOOT_DRIVER=$3 6CPU_DRIVER=$4 7OUT_FILE=$5 8 9BOOTADDR="0x$($OBJDUMP $IMAGE_FILE -p -w | grep LOAD | \ 10 sed "s/ \+/\t/g" | cut -f 6 | sed s/0x//)" 11CPUADDR="0x$($OBJDUMP $IMAGE_FILE -h -w -j .cpudriver | tail -n 1 | \ 12 sed "s/ \+/\t/g" | cut -f 5 | sed s/0x//)" 13 14cat >$OUT_FILE <<EOF 15add-symbol-file $BOOT_DRIVER $BOOTADDR 16add-symbol-file $CPU_DRIVER $CPUADDR 17EOF 18