#!/bin/sh

set -e

O=`pwd`

make -C $3/../arch/x86/kboot O=$O clean
make -C $3/../arch/x86/kboot O=$O KIMAGE="$O/$1" LOAD_PA=0x401000 CC=${CC} LD=${LD} LDFLAGS="${LDFLAGS}"

cp kboot/kboot.elf $2