ref: 12e85a59523d7c2cebbf2348dc41ea4553abae45 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot