#!/bin/sh

# For ARMedslack we can't set a Kernel here -- we need to do it
# via our RISC OS boot loader.
# How other ARM based platforms (Netwinder et al) work, I don't know
# and since I don't have those machines I can't do any work for them anyway :)
exit 0
