#!/bin/sh

if [ $# = 0 ]; then
	echo "usage: boot devboot@<target>, e.g. boot devboot@mmc"
	exit 1
fi

devboot $*
