#!/bin/sh
echo "Loading kernel to 0x40200000..."
load mmc 0:1 0x40200000 kernel.elf
bootelf 0x40200000