#! /bin/sh
#
# reboot	Execute the reboot command.
#
# Version:      @(#)reboot  2.75  22-Jun-1998  miquels@cistron.nl
#

PATH=/sbin:/bin:/usr/sbin:/usr/bin

echo "$0: Rebooting" > /dev/kmsg

#reboot -d -f -i

# read any passed value, then umount tmpfs mounts (which have been
# preserved by umountfs for this reason)
[ -f /tmp/reboot_reason ] && REBOOT_REASON=$(cat /tmp/reboot_reason)

umount -t tmpfs

# reboot and tell the bootloader what we want to do
tellbootie $REBOOT_REASON
