#!/bin/sh

# grab the kernel_entry address from the vmlinux elf image
entry=`$1 $2  | grep kernel_entry`

fs=`echo $entry | grep ffffffff`  # check toolchain output

if [ -n "$fs" ]; then
	echo "0x"`$1 $2  | grep kernel_entry | cut -c9- | awk '{print $1}'`
else
	echo "0x"`$1 $2  | grep kernel_entry | cut -c1- | awk '{print $1}'`
fi