#!/bin/sh

set -e

O=`pwd`

make -C $3/../kboot O=$O clean
#make -C $3/../kboot O=$O KIMAGE="$O/$1" LOAD_PA=0x3a001000
#make -C $3/../kboot O=$O KIMAGE="$O/$1" LOAD_PA=0x101001000
make -C $3/../kboot O=$O KIMAGE="$O/$1" LOAD_PA=0x901001000

cat $3/../elfboot/elfboot kboot/kboot.elf > $2