freebsd-dev/sbin/reboot
..
boot_i386.8
Makefile
nextboot.8
nextboot.sh
reboot.8
reboot.c