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