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