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