#!/bin/sh

# by default pick kernel from MMC card if booting from
# it, otherwise default to boot from internal harddisk

if [ $bootsource = mmc ]; then
	global.boot.default=mmc-left
else
	global.boot.default=hd-internal
fi
