/sbin/reboot/

• ../
• Makefile
• reboot.c
• reboot_i386.8