#!/bin/sh

BASEDIR=$(dirname "$0")
cp "$1" "$3"
"${BASEDIR}/../build/host/kernelcopy/kernelcopy" "$3" "$2"