ref: 2273121e1cfe765f30467bdab842cae8b0d88cd3 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot