ref: 83876083c9bba29e01ce1a82cba77d84f6382f07 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot