# Install the bootdisk or CD-ROM's Linux kernel:
#BLURB="Install a Linux kernel from a bootdisk"
if [ -x /usr/lib/setup/SeTkernel ]; then
  . /usr/lib/setup/SeTkernel
fi